フタ　ユウイチ   Futa Yuichi   布田　裕一    所属   コンピュータサイエンス学部 コンピュータサイエンス学科    職種   教授
言語種別	英語
発行・発表の年月	2018/10
形態種別	国際会議論文
査読	査読あり
標題	Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif
執筆形態	共著
掲載誌名	The International Symposium on Information Theory and Its Applications (ISITA) 2018
掲載区分	国外
出版社・発行元	ISITA
著者・共著者	Hiroyuki Okazaki, Yuichi Futa and Kenichi Arai
概要	In development of cryptosystems, security proof for their security evaluation is necessary. Symbolic verification tools such as ProVerif can analyze the security of cryptographic protocols automatically. However, if the formal definitions of cryptologic functionalities are incomplete, then the results will be incorrect. In this paper, we propose a method of defining cryptologic functionalities that uses ProVerif to verify their cryptographic requirements.