{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T04:53:32Z","timestamp":1764996812015,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431688"},{"type":"electronic","value":"9783540456643"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45664-3_6","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T21:32:07Z","timestamp":1180906327000},"page":"80-98","source":"Crossref","is-referenced-by-count":105,"title":["Formal Proofs for the Security of Signcryption"],"prefix":"10.1007","author":[{"given":"Joonsang","family":"Baek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ron","family":"Steinfeld","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuliang","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,5]]},"reference":[{"key":"6_CR1","unstructured":"J. An: Authenticated Encryption in the Public-Key Setting: Security Notions and Analyses, available at http:\/\/eprint.iacr.org\/ ."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"M. Bellare, A. Desai, E. Jokipii and P. Rogaway: A Concrete Security Treament of Symmetric Encryption, Proceedings of FOCS\u2019 97, IEEE Computer Society Press, 1997, pages 394\u2013403.","DOI":"10.1109\/SFCS.1997.646128"},{"key":"6_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/BFb0055718","volume-title":"Relations Among Notions of Security for Public-Key Encryption Schemes","author":"M. Bellare","year":"1998","unstructured":"M. Bellare, A. Desai, D. Pointcheval and P. Rogaway: Relations Among Notions of Security for Public-Key Encryption Schemes, Advances in Cryptology-Proceedings of CRYPTO\u2019 98, Vol. 1462 of LNCS, Springer-Verlag 1998, pages 26\u201345."},{"key":"6_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1007\/3-540-44448-3_41","volume-title":"Authenticated Encryption: Relations among notions and analysis of the generic composition paradigm","author":"M. Bellare","year":"2000","unstructured":"M. Bellare and C. Namprepre: Authenticated Encryption: Relations among notions and analysis of the generic composition paradigm, Advances in Cryptology-Proceedings of ASIACRYPT 2000, Vol. 1976 of LNCS, Springer-Verlag 2000, pages 531\u2013545."},{"key":"6_CR5","series-title":"Lect Notes Comput Sci","first-page":"92","volume-title":"Optimal asymmetric encryption","author":"M. Bellare","year":"1994","unstructured":"M. Bellare and P. Rogaway: Optimal asymmetric encryption, Advances in Cryptology-Proceedings of Eurocrypt\u2019 94, Vol. 950 of LNCS, Springer-Verlag 1994, pages 92\u2013111."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"M. Bellare and P. Rogaway: Random Oracles are Practical: A Paradigm for Designing Efficient Protocols, Proceedings of First ACM Conference on Computer and Communications Security 1993, pages 62\u201373.","DOI":"10.1145\/168588.168596"},{"key":"6_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BFb0055717","volume-title":"A Practical Public Key Cryptosystem Provably Secure against Adaptive Chosen Ciphertext Attack","author":"R. Cramer","year":"1998","unstructured":"R. Cramer and V. Shoup: A Practical Public Key Cryptosystem Provably Secure against Adaptive Chosen Ciphertext Attack, Advances in Cryptology-Proceedings of CRYPTO\u2019 98, Vol. 1462 of LNCS, Springer-Verlag 1998, pages 13\u201325."},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1109\/TIT.1985.1057074","volume":"31","author":"T. ElGamal","year":"1985","unstructured":"T. ElGamal: A Public Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms, IEEE Trans. Information Theory, 31, 1985, pages 469\u2013472.","journal-title":"IEEE Trans. Information Theory"},{"key":"6_CR9","unstructured":"A. Frier, P. Karlton and P. Kocher: The SSL 3.0 Protocol, Netscape Communications Corp., 1996, available at http:\/\/home.netscape.com\/eng\/ssl3\/ssl.toc.html ."},{"key":"6_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-49162-7_5","volume-title":"How to Enhance the Security of Public-Key Encryption at Minimum Cost","author":"E. Fujisaki","year":"1999","unstructured":"E. Fujisaki and T. Okamoto: How to Enhance the Security of Public-Key Encryption at Minimum Cost, Proceedings of Public Key Cryptography\u2019 99 (PKC\u2019 99), Vol. 1666 of LNCS, Springer-Verlag 1999, pages 53\u201368."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1016\/0022-0000(84)90070-9","volume":"28","author":"S. Goldwasser","year":"1984","unstructured":"S. Goldwasser and S. Micali: Probabilistic Encryption, Journal of Computer and System Sciences, Vol. 28, 1984, pages 270\u2013299.","journal-title":"Journal of Computer and System Sciences"},{"issue":"2","key":"6_CR12","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1137\/0217017","volume":"17","author":"S. Goldwasser","year":"1988","unstructured":"S. Goldwasser, S. Micali and R. Rivest: A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks, SIAM Journal on Computing, 17, 2, 1988, pages 281\u2013308.","journal-title":"SIAM Journal on Computing"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"S. Kent and R. Atkinson: IP Encapsulating Security Payload (ESP), RFC 2406, 1998.","DOI":"10.17487\/rfc2406"},{"key":"6_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/3-540-44647-8_19","volume-title":"The Order Of Encryption And Authentication For Protecting Communications (Or: How Secure Is SSL?)","author":"H. Krawczyk","year":"2001","unstructured":"H. Krawczyk: The Order Of Encryption And Authentication For Protecting Communications (Or: How Secure Is SSL?), Advances in Cryptology-Proceedings of CRYPTO 2001, Vol. 2139 of LNCS, Springer-Verlag 2001, pages 310\u2013331."},{"key":"6_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1007\/BFb0055741","volume-title":"On Concrete Security Treatment of Signatures Derived from Identification","author":"K. Ohta","year":"1998","unstructured":"K. Ohta and T. Okamoto: On Concrete Security Treatment of Signatures Derived from Identification, Advances in Cryptology-Proceedings of CRYPTO\u2019 98, Vol. 1462 of LNCS, Springer-Verlag 1998, pages 354\u2013369."},{"key":"6_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/3-540-44586-2_8","volume-title":"The Gap-Problems: A New Class of Problems for the Security of Cryptographic Schemes","author":"T. Okamoto","year":"2001","unstructured":"T. Okamoto and D. Pointcheval: The Gap-Problems: A New Class of Problems for the Security of Cryptographic Schemes, Proceedings of Public Key Cryptography 2001 (PKC 2001), Vol. 1992 of LNCS, Springer-Verlag 2001, pages 104\u2013118."},{"key":"6_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-3-540-46588-1_10","volume-title":"Chosen-Ciphertext Security for Any One-Way Cryptosystem","author":"D. Pointcheval","year":"2000","unstructured":"D. Pointcheval: Chosen-Ciphertext Security for Any One-Way Cryptosystem, Proceedings of Public Key Cryptography 2000 (PKC 2000), Vol. 1751 of LNCS, Springer-Verlag 2000, pages 129\u2013146."},{"issue":"3","key":"6_CR18","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s001450010003","volume":"13","author":"D. Pointcheval","year":"2000","unstructured":"D. Pointcheval and J. Stern: Security Arguments for Digital Signatures and Blind Signatures, Jornal of Cryptology, Vol. 13-Number 3, Springer-Verlag 2000, pages 361\u2013396.","journal-title":"Jornal of Cryptology"},{"key":"6_CR19","series-title":"Lect Notes Comput Sci","first-page":"235","volume-title":"Efficient Identification and Signatures for Smart Cards","author":"C. P. Schnorr","year":"1990","unstructured":"C. P. Schnorr: Efficient Identification and Signatures for Smart Cards, Advances in Cryptology-Proceedings of CRYPTO\u2019 89, Vol. 435 of LNCS, Springer-Verlag 1990, pages 235\u2013251."},{"key":"6_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/3-540-44448-3_7","volume-title":"Security of Signed ElGamal Encryption","author":"C. P. Schnorr","year":"2000","unstructured":"C. P. Schnorr and M. Jakobsson: Security of Signed ElGamal Encryption, Advances in Cryptology-Proceedings of ASIACRYPT 2000, Vol. 1976 of LNCS, Springer-Verlag 2000, pages 73\u201389."},{"key":"6_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/3-540-44456-4_23","volume-title":"A Signcryption Scheme Based on Integer Factorization","author":"R. Steinfeld","year":"2000","unstructured":"R. Steinfeld and Y. Zheng: A Signcryption Scheme Based on Integer Factorization, Proceedings of Information Security Workshop 2000 (ISW2000), Vol. 1975 of LNCS, Springer-Verlag 2000, pages 308\u2013322."},{"key":"6_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BFb0054019","volume-title":"On the Security of ElGamal-Based Encryption","author":"Y. Tsiounis","year":"1998","unstructured":"Y. Tsiounis and M. Yung: On the Security of ElGamal-Based Encryption, Proceedings of Public Key Cryptography\u2019 98 (PKC\u2019 98), Vol. 1431 of LNCS, Springer-Verlag 1998, pages 117\u2013134."},{"key":"6_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/BFb0052234","volume-title":"Digital Signcryption or How to Achieve Cost (Signature & Encryption) \u300a Cost (Signature) + Cost (Encryption)","author":"Y. Zheng","year":"1997","unstructured":"Y. Zheng: Digital Signcryption or How to Achieve Cost (Signature & Encryption) \u300a Cost (Signature) + Cost (Encryption), Advances in Cryptology-Proceedings CRYPTO\u2019 97, Vol. 1294 of LNCS, Springer-Verlag 1997, pages 165\u2013179."},{"key":"6_CR24","unstructured":"Y. Zheng: Digital Signcryption or How to Achieve Cost (Signature & Encryption) \u300a Cost (Signature) + Cost (Encryption), full version, available at http:\/\/www.pscit.monash.edu.au\/ yuliang\/pubs\/ ."},{"key":"6_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/3-540-44586-2_4","volume-title":"Identification, Signature and Signcryption Using High Order Residues Modulo an RSA Composite","author":"Y. Zheng","year":"2001","unstructured":"Y. Zheng: Identification, Signature and Signcryption Using High Order Residues Modulo an RSA Composite, Proceedings of Public Key Cryptography 2001 (PKC 2001), Vol. 1992 of LNCS, Springer-Verlag 2001, pages 48\u201363."},{"issue":"5","key":"6_CR26","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1109\/49.223871","volume":"11","author":"Y. Zheng","year":"1993","unstructured":"Y. Zheng and J. Seberry: Immunizing public key cryptosystems against chosen ciphertext attacks, the Special Issue on Secure Communications, IEEE Journal on Selected Areas in Communications, Vol. 11, No. 5, 1993, pages 715\u2013724.","journal-title":"IEEE Journal on Selected Areas in Communications"}],"container-title":["Lecture Notes in Computer Science","Public Key Cryptography"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45664-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T22:06:00Z","timestamp":1737065160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45664-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431688","9783540456643"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45664-3_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}