コマノ　ユウイチ   駒野　雄一    所属   千葉工業大学  情報変革科学部 高度応用情報科学科    千葉工業大学  情報科学研究科 情報科学専攻    職種   教授
言語種別	英語
発行・発表の年月	2008/01
形態種別	学術雑誌
査読	査読あり
標題	Provably secure multisignatures in formal security model and their optimality
執筆形態	共著
掲載誌名	IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES
掲載区分	国外
出版社・発行元	IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG
巻・号・頁	E91A(1),pp.107-118
著者・共著者	Yuichi Komano,Kazuo Ohta,Atsushi Shimbo,Shinichi Kawamura
概要	We first model the formal security model of multisignature scheme following that of group signature scheme. Second, we prove that the following three probabilistic multisignature schemes based on a trapdoor permutation have tight security; PFDH (probabilistic full domain hash) based multisignature scheme (PFDH-MSS), PSS (probabilistic signature scheme) based multisignature scheme (PSS-MSS), and short signature PSS based multisignature scheme (S-PSS-MSS). Third, we give an optimal proof (general result) for multisignature schemes, which derives the lower bound for the length of random salt. We also estimate the upper bound for the length in each scheme and derive the optimal length of a random salt. Two of the schemes are promising in terms of security tightness and optimal signature length. In appendix, we describe a multisignature scheme using the claw-free permutation and discuss its security.
DOI	10.1093/ietfec/e9l-a.1.107
ISSN	0916-8508/1745-1337
PermalinkURL	http://dblp.uni-trier.de/db/journals/ieicet/ieicet91a.html#journals/ieicet/KomanoOSK08