Formal proofs for the security of signcryption

Joonsang Baek, Ron Steinfeld, Yuliang Zheng

Research output: Contribution to journal › Article › Research › peer-review

Original language	English
Pages (from-to)	80 - 98
Number of pages	19
Journal	Lecture Notes in Computer Science
Volume	2274
DOIs	https://doi.org/10.1007/3-540-45664-3_6
Publication status	Published - 2002

Cite this

@article{2a4da7161d544813afd1328522304b15,

title = "Formal proofs for the security of signcryption",

author = "Joonsang Baek and Ron Steinfeld and Yuliang Zheng",

year = "2002",

doi = "10.1007/3-540-45664-3_6",

language = "English",

volume = "2274",

pages = "80 -- 98",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer-Verlag London Ltd.",

}