Yang Cui Eiichiro Fujisaki Goichiro Hanaoka Hideki Imai Rui Zhang 0002 Formal Security Treatments for Signatures from Identity-Based Encryption. 218-227 2007 conf/provsec/2007 ProvSec http://dx.doi.org/10.1007/978-3-540-75670-5_16 db/conf/provsec/provsec2007.html#CuiFHIZ07