|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/7881
|
| タイトル: | Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol |
| 著者: | Li, Guoqiang
Ogawa, Mizuhito |
| 発行日: | 2008 |
| 出版者: | Springer |
| 誌名: | Lecture Notes in Computer Science |
| 巻: | 5311 |
| 開始ページ: | 374 |
| 終了ページ: | 385 |
| DOI: | 10.1007/978-3-540-88387-6_32 |
| 抄録: | Authentication and secrecy have been widely investigated in security protocols. They are closely related to each other and variants of definitions have been proposed, which focus on the concepts of corresponding assertion and key distribution. This paper proposes an on-the-fly model checking method based on the pushdown system to verify the authentication of recursive protocols with an unbounded number of principals. By experiments of the Maude implementation, we find the recursive authentication protocol, which was verified in the sense of (weak) key distribution, has a flaw in the sense of correspondence assertion. |
| Rights: | This is the author-created version of Springer, Guoqiang Li, Mizuhito Ogawa, Lecture Notes in Computer Science, 5311, 2008, 374-385. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-540-88387-6_32 |
| URI: | http://hdl.handle.net/10119/7881 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| ATVA08.pdf | | 249Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
