プロセス代数を用いたセキュリティ・プロトコル記述

• Item type: Trans(1)
• 公開日: 2002-03-15
• タイトル: プロセス代数を用いたセキュリティ・プロトコル記述
• タイトル / 言語: en
• タイトル: Describing Security Protocols in a Process Algebra
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: NTTコミュニケーション科学基礎研究所
• 著者所属(英): en
• 著者所属(英): NTT Communication Science Laboratories
• 著者名: 櫻田, 英樹
• 著者名(英): Hideki, Sakurada
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: プロトコルとそのセキュリティを表現する方法について述べる．セキュリティ・プロトコルの安全性を検証する研究がさかんであるが，認証や鍵共有などの単純にプロトコルに比べて，電子商取引で用いられるような大きなセキュリティ・プロトコルの安全性はあまり研究されていない．その理由の1つとして，大きく複雑なプロトコルとそのセキュリティを柔軟に記述する方法がないためであると考えられる．本研究では，これらを記述する方法を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We discuss on a method to express security protocols and their security properties. Although there are a lot of works on analysis of security protocols, there are few works on more large protocols such used in e-commerce than simple protocols such as key-distribution protocols. One of the reason is that there is few tools with which we can flexibly describe large protocols and their security. We propose a method to describe them with a process algebra.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 43, 号 SIG03(PRO14), p. 78-78, 発行日 2002-03-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会