Formal proofs of security of signcryption”, (2002)

by J Baek, R Steinfeld, Y Zheng
Venue:PKC 02, LNCS