フタ　ユウイチ   Futa Yuichi   布田　裕一    所属   コンピュータサイエンス学部 コンピュータサイエンス学科    職種   教授
言語種別	英語
発行・発表の年月	2016/07
形態種別	国際会議論文
査読	査読あり
標題	Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar.
執筆形態	共著
掲載誌名	Workshop and Work in Progress Papers at CICM 2016
掲載区分	国外
出版社・発行元	CEUR Workshop Roceedings
著者・共著者	Hiroyuki Okazaki and Yuichi Futa
概要	In development of cryptosystems, security proof for their security evaluation is necessary. Formal verification with computers is important to avoid error in the proof. In this paper, we formalize polynomial bounded and negligible functions necessary for analysis of the properties of attacks.