コンピュータ ソフトウェア
Print ISSN : 0289-6540
CafeOBJ入門(5) 認証プロトコルの検証
緒方 和博, 二木 厚吉, 中村 正樹
著者情報
ジャーナル フリー

2009 年 26 巻 1 号 p. 1_71-1_83

詳細
PDFをダウンロード (124K)
メタデータをダウンロード RIS形式

(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)

BIB TEX形式

(BibDesk、LaTeXとの互換性あり)

テキスト
メタデータのダウンロード方法
発行機関連絡先
抄録
代数仕様言語CafeOBJによる認証プロトコルの検証の例を示す．NSLPK認証プロトコルは，公開鍵暗号方式に基づく，2つの主体間の相互認証のためのプロトコルである．NSLPK認証プロトコルに定められたメッセージ送受信を終えると，2つの主体はある情報を共有する．その情報が，たとえ悪意のある主体が存在していたとしても第三者にもれることはない，という性質を秘匿性という．NSLPK認証プロトコルが秘匿性を満たすことの証明譜による検証を解説する．
著者関連情報
© 日本ソフトウェア科学会 2009
前の記事 次の記事
お気に入り & アラート

閲覧履歴
このページを共有する
feedback
 Top