JAIST Repository >
b. 情報科学研究科・情報科学系 >
b30. リサーチレポート >
Research Report - School of Information Science : ISSN 0918-7553 >
IS-RR-2008 >

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10119/4748

タイトル: Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol
著者: Li, Guoqiang
Ogawa, Mizuhito
発行日: 2008-07-25
出版者: 北陸先端科学技術大学院大学情報科学研究科
誌名: Research report (School of Information Science, Japan Advanced Institute of Science and Technology)
巻: IS-RR-2008-002
開始ページ: 1
終了ページ: 22
抄録: Authentication and secrecy have been widely investigeted 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.
URI: http://hdl.handle.net/10119/4748
資料タイプ: publisher
出現コレクション:IS-RR-2008

このアイテムのファイル:

ファイル 記述 サイズ形式
105-1.pdf259KbAdobe PDF見る/開く

当システムに保管されているアイテムはすべて著作権により保護されています。

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係