Yuichi Komano Kazuo Ohta Atsushi Shimbo Shin-ichi Kawamura Formal Security Model of Multisignatures. 146-160 2006 conf/isw/2006 ISC http://dx.doi.org/10.1007/11836810_11 db/conf/isw/isc2006.html#KomanoOSK06