Art

J-GLOBAL ID：201502204202207450   Reference number：15A0630155

A Formal Analysis Method with Reasoning for Key Exchange Protocols

鍵交換プロトコルにおける推論的形式分析手法

Author (3)： WAGATSUMA KAZUNORI (埼玉大 大学院理工学研究科) ,  GOTO YUICHI (埼玉大 大学院理工学研究科) ,  CHENG Jingde (埼玉大 大学院理工学研究科)
Material： 情報処理学会論文誌ジャーナル(Web)
Volume： 56  Issue： 3  Page： 903-910 (WEB ONLY)  Publication year： Mar. 15, 2015 
JST Material Number： U0452A  ISSN： 1882-7764  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： information exchange ,  *formal method ,  *cryptogram ,  protocol ,  safety ,  formal description ,  theorem proving ,  enumeration theory ,  fault detection
Semi thesaurus term： cryptographic protocol ,  fault detection ,  key exchange

JST classification (2)： Theory of computation  (JB02000A) ,  Code theory  (ND02030R)

Reference (17)：

• Blanchet, B.: An efficient cryptographic protocol verifier based on prolog rules, 14th IEEE Computer Security Foundations Workshop, pp.82-96, IEEE (2001).
• Boyd, C. and Mathuria, A.: Protocols for authentication and key establishment, Springer (2003).
• Cheng, J.: A strong relevant logic model of epistemic processes in scientific discovery, Information modelling and knowledge bases XI, Vol.61, pp.136-159 (2000).
• Cheng, J.: Strong relevant logic as the universal basis of various applied logics for knowledge representation and reasoning, Frontiers in Artificial Intelligence and Applications, Vol.136, pp.310-320 (2006).
• Cheng, J. and Miura, J.: Deontic relevant logic as the logical basis for specifying, verifying, and reasoning about information security and information assurance, 1st International Conference on Availability, Reliability and Security, pp.601-608, IEEE-CS (2006).

Terms in the title (4)： 鍵交換プロトコル ,  推論 ,  形式分析 ,  手法