CafeOBJ入門(5) 認証プロトコルの検証
書誌事項
- タイトル別名
-
- Introducing CafeOBJ (5) : Verification of an Authentication Protocol
この論文をさがす
説明
An example of verification of authentication protocols with CafeOBJ algebraic specification language is shown. The NSLPK authentication protocol is based on the public-key cryptosystem. Two principals can use the protocol to achieve the mutual authentication between them. The successful completion of the message exchanges specified by the protocol lets two principals share some information. The secrecy property is as follows: even when there exist malicious principals, the information is never leaked to any third parties. Described is the verification with proof score that the protocol satisfies the (nonce) secrecy property.
収録刊行物
-
- コンピュータ ソフトウェア
-
コンピュータ ソフトウェア 26 (1), 71-83, 2009
日本ソフトウェア科学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390001204736502272
-
- NII論文ID
- 130004549136
-
- ISSN
- 02896540
-
- データソース種別
-
- JaLC
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可
