Title :
Formal Security Proof for Generalized Signcryption
Author :
Zhang, Jindan ; Wang, Xu An
Author_Institution :
Xianyang Vocational Tech. Coll., Xianyang
Abstract :
Generalized signcryption which proposed by Han is a new cryptographic primitive which can work as an encryption scheme, a signature scheme or a signcryption scheme. How- ever,the security proof in their paper is uncorrect. In this paper, we give security notions for this new primitive. And we give an attack to [9] and propose an improved generalized signcryption scheme. Furthermore, we give formal security proofs for this new scheme.
Keywords :
cryptography; cryptographic primitive; encryption; formal security proof; generalized signcryption; Authentication; Complexity theory; Concrete; Cryptography; Educational institutions; Information security; Laboratories;
Conference_Titel :
E-Business and Information System Security, 2009. EBISS '09. International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-2909-7
Electronic_ISBN :
978-1-4244-2910-3
DOI :
10.1109/EBISS.2009.5137982
