フタ ユウイチ   Futa Yuichi
  布田 裕一
   所属   コンピュータサイエンス学部 コンピュータサイエンス学科
   職種   教授
言語種別 英語
発行・発表の年月 2016/08
形態種別 学術論文
査読 査読あり
標題 Divisible Z-modules
執筆形態 共著
掲載誌名 Formalized Mathematics
掲載区分国外
出版社・発行元 de Gruyter
巻・号・頁 24(1),pp.49-68
著者・共著者 Yuichi Futa and Yasunari Shidama
概要 In development of cryptosystems, security proof for their security evaluation is necessary. Formal verification with computers is important to avoid error in the proof. However, the formalization of mathematical definitions and theorems for security proof of lattice cryptosystems is not yet included in the formal proof verification system Mizar. In this paper, we formalize properties of a divisible Z-module for an algebraic structure of lattices.