Using BAN Logic for the Proof of a Network Address Registration Protocol (Special Issue on Multimedia Communication and Distributed Processing)

スポンサーリンク

概要

• 論文の詳細を見る

• One of the main problems with the current computer network environment is that information held in information systems is not necessarily trustworthy. We look particularly at addresses as an example of network configuration information, and list the serious consequences of incorrect addresses. The current address information flow is examined, and then improved by the use of "certificates." This paper uses the logic introduced by Burrows, Abadi, and Needham, called BAN logic, to prove the flow of the procedure for issuing a certificate. Our use is somewhat different from the original use of the logic for authentication protocols as regards the way in which information integrity is examined.

• 一般社団法人情報処理学会の論文
• 1996-05-15

著者

• Murayama Y

  Faculty Of Information Sciences Hiroshima City University

• Murayama Yuko

  Faculty Of Information Sciences Hiroshima City University

関連論文

• A Proposal of Request Routing on a Fully Distributed P2P CDN(Internet)
• Using BAN Logic for the Proof of a Network Address Registration Protocol (Special Issue on Multimedia Communication and Distributed Processing)

スポンサーリンク