フタ　ユウイチ   Futa Yuichi   布田　裕一    所属   コンピュータサイエンス学部 コンピュータサイエンス学科    職種   教授
言語種別	英語
発行・発表の年月	2019/07
形態種別	国際会議論文
査読	査読あり
標題	Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif
執筆形態	共著
掲載誌名	2019 International Conference on Security and Management (SAM'19)
掲載区分	国外
出版社・発行元	CSREA Press
著者・共著者	Togo Yoshimura, Kenichi Arai, Hiroyuki Okazaki and Yuichi Futa
概要	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 to define cryptographic functionalities by verifying their cryptographic requirements using ProVerif. Especially, we focus on cryptographic hash functions.