|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/5035
|
| タイトル: | Proving Properties of Incremental Merkle Trees |
| 著者: | Ogawa, Mizuhito
Horita, Eiichi
Ono, Satoshi |
| キーワード: | Merkle tree
theorem prover
temporal authentication |
| 発行日: | 2005 |
| 出版者: | Springer |
| 誌名: | Lecture Notes in Computer Science |
| 巻: | 3632/2005 |
| 開始ページ: | 424 |
| 終了ページ: | 440 |
| DOI: | 10.1007/11532231_31 |
| 抄録: | This paper proves two basic properties of the model of a single attack point-free event ordering system, developed by NTT. This model is based on an incremental construction of Merkle trees, and we show the correctness of (1) completion and (2) an incremental sanity check. These are mainly proved using the theorem prover MONA; especially, this paper gives the first proof of the correctness of the incremental sanity check. |
| Rights: | This is the author-created version of Springer, Mizuhito Ogawa, Eiichi Horita, Satoshi Ono, Lecture Notes in Computer Science, 3632/2005, 2005, 424-440. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/11532231_31 |
| URI: | http://hdl.handle.net/10119/5035 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| C9488.pdf | | 183Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
