|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/3978
|
| タイトル: | Rewriting-Based Verification of Authentication Protocols |
| 著者: | Ogata, Kazuhiro
Futatsugi, Kokichi |
| 発行日: | 2004-04 |
| 出版者: | ELSEVIER SCIENCE B.V AMSTERDAM |
| 誌名: | Electronic Notes in Theoretical Computer Science |
| 巻: | 71 |
| 開始ページ: | 208 |
| 終了ページ: | 222 |
| DOI: | 10.1016/S1571-0661(05)82536-8 |
| 抄録: | We propose a method of formally analysing security protocols based on rewriting. The method is roughly as follows. A security protocol is modeled as an observational transition system, which is described in CafeOBJ. Proof scores showing that the protocol has safety (security) properties are then written in CafeOBJ and the proof scores are executed (rewritten) by the CafeOBJ system. |
| Rights: | Elsevier B.V., Electronic Notes in Theoretical Computer Science, 71, 2004, 208-222. http://www.sciencedirect.com/science/journal/15710661 |
| 資料タイプ: | Article |
| URI: | http://hdl.handle.net/10119/3978 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| S-61.pdf | | 286Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
