フタ　ユウイチ   Futa Yuichi   布田　裕一    所属   コンピュータサイエンス学部 コンピュータサイエンス学科    職種   教授
言語種別	英語
発行・発表の年月	2024/02
形態種別	学術論文
査読	査読あり
標題	How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif
執筆形態	共著
掲載誌名	IEEE Access
掲載区分	国外
出版社・発行元	IEEE
巻・号・頁	12,pp.31605-31625
総ページ数	21
著者・共著者	Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai and Yuichi Futa
外部リンクURL	https://ieeexplore.ieee.org/document/10443411