Short (Identity-Based) Strong Designated Verifier Signature Schemes

• Published in: Information Security Practice and Experience pp. 214 - 225
• Main Authors: Huang, Xinyi, Susilo, Willy, Mu, Yi, Zhang, Futai
• Format: Book Chapter Conference Proceeding
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg 2006; Springer
• Series: Lecture Notes in Computer Science
• Subjects: Applied sciences; Computer science; control theory; systems; designated verifier signature; Exact sciences and technology; identity based; Memory and file management (including protection and security); Memory organisation. Data processing; random oracle model; short signature; Software; strong designated verifier signature scheme; FORTH; Probabilistic approach; Formal specification; Digital signature; Distributed system; Oracle; Modeling; Computer security; Formal verification
• ISBN: 9783540330523; 3540330526
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/11689522_20

The notion of strong designated verifier signature was put forth by Jakobsson, Sako and Impagliazzo in 1996, but the formal definition was defined recently by Saeednia, Kremer and Markowitch in 2003 and revisited by Laguillaumie and Vergnaud in 2004. In this paper, we firstly propose the notion of short strong designated verifier signature scheme, and extend it to the short identity-based strong designated verifier scheme. Then, we propose the first construction of short strong designated verifier signature scheme. We also extend our scheme to construct a short identity-based strong designated verifier signature scheme. The size of the signature of our schemes is the shortest compared to any existing schemes reported in the literature. We provide formal security proofs for our schemes based on the random oracle model. Finally, we also discuss an extension of our scheme to construct a short strong designated verifier signature without random oracle.