Strongly Secure Certificateless Signature Scheme Supporting Batch Verification

We propose a strongly secure certificateless signature scheme supporting batch verification, which makes it possible for a verifier to verify a set of signatures more efficiently than verifying them one by one. In an identity-based digital signature scheme, private key generator (PKG) knows each user's signing key, so it can generate a signature which is indistinguishable from the signature generated by the user. This is a serious problem because the property of signature nonrepudiation will not be achieved. In our proposed scheme, it is impossible for PKG to produce a signature which is indistinguishable from any signature produced by a user. Compared with existing signature schemes with batch verification, although our proposed scheme is not the most efficient one, it achieves Girault's level-3 security, while the others have Girault's level-1 or level-2 security only. We also formally prove that the proposed scheme is unforgeable and satisfies Girault's level-3 security based on hard problems.

[1]  Sung-Ming Yen,et al.  Improved Digital Signature Suitable for Batch Verification , 1995, IEEE Trans. Computers.

[2]  Lei Zhang,et al.  New Efficient Certificateless Signature Scheme , 2007, EUC Workshops.

[3]  Cheng-Chi Lee,et al.  Two Simple Batch Verifying Multiple Digital Signatures , 2001, ICICS.

[4]  Zhongmei Wan,et al.  Certificateless Directed Signature Scheme , 2011, 2011 7th International Conference on Wireless Communications, Networking and Mobile Computing.

[5]  Kenneth G. Paterson,et al.  Certificateless Public Key Cryptography , 2003 .

[6]  Pin-Han Ho,et al.  On batch verification with group testing for vehicular communications , 2011, Wirel. Networks.

[7]  Adi Shamir,et al.  Identity-Based Cryptosystems and Signature Schemes , 1984, CRYPTO.

[8]  Matthew Green,et al.  Practical Short Signature Batch Verification , 2009, CT-RSA.

[9]  Dongdai Lin,et al.  Security Analysis of Some Batch Verifying Signatures from Pairings , 2006, Int. J. Netw. Secur..

[10]  Y. Mu,et al.  Efficient Batch Verification of Short Signatures for a Single-Signer Setting without Random Oracles , 2008, IWSEC.

[11]  Amos Fiat,et al.  Batch RSA , 1989, Journal of Cryptology.

[12]  Jan Camenisch,et al.  Batch Verification of Short Signatures , 2007, Journal of Cryptology.

[13]  Willy Susilo,et al.  Strongly secure certificateless short signatures , 2012, J. Syst. Softw..

[14]  Duncan S. Wong,et al.  Certificateless Public-Key Signature: Security Model and Efficient Construction , 2006, ACNS.

[15]  Shi Cui,et al.  An efficient identity-based signature scheme with batch verifications , 2006, InfoScale '06.

[16]  Kitae Kim,et al.  Batch Verification and Finding Invalid Signatures in a Group Signature Scheme , 2011, Int. J. Netw. Secur..

[17]  Qiaoyan Wen,et al.  Efficient and provably-secure certificateless short signature scheme from bilinear pairings , 2009, Comput. Stand. Interfaces.

[18]  Dong Hoon Lee,et al.  A new provably secure certificateless short signature scheme , 2011, Comput. Math. Appl..

[19]  Raylin Tso,et al.  Certificateless message recovery signatures providing girault’s level-3 security , 2011 .

[20]  Futai Zhang,et al.  Batch Verification for Certificateless Signature Schemes , 2009, 2009 International Conference on Computational Intelligence and Security.

[21]  Jianwei Liu,et al.  On a Group Signature Scheme Supporting Batch Verification for Vehicular Networks , 2011, 2011 Third International Conference on Multimedia Information Networking and Security.

[22]  Yuguang Fang,et al.  Securing Mobile Ad Hoc Networks with Certificateless Public Keys , 2006, IEEE Transactions on Dependable and Secure Computing.

[23]  Alfred Menezes,et al.  The State of Elliptic Curve Cryptography , 2000, Des. Codes Cryptogr..

[24]  Qiaoyan Wen,et al.  A Secure and Efficient Certificateless Short Signature Scheme , 2013 .

[25]  Mihir Bellare,et al.  Fast Batch Verification for Modular Exponentiation and Digital Signatures , 1998, IACR Cryptol. ePrint Arch..

[26]  Qiaoyan Wen,et al.  A Secure and Efficient Certificateless Short Signature Schema , 2013 .

[27]  Jan Camenisch,et al.  Batch Verification of Short Signatures , 2007, EUROCRYPT.

[28]  Colin Boyd,et al.  Attacking and Repairing Batch Verification Schemes , 2000, ASIACRYPT.

[29]  Xiaotie Deng,et al.  Certificateless signature: a new security model and an improved generic construction , 2007, Des. Codes Cryptogr..

[30]  Bok-Min Goi,et al.  An Efficient Certificateless Signature Scheme , 2006, IACR Cryptol. ePrint Arch..

[31]  Xiangxue Li,et al.  Certificateless signature and proxy signature schemes from bilinear pairings , 2005 .

[32]  Jean-Jacques Quisquater,et al.  What Is Possible with Identity Based Cryptography for PKIs and What Still Must Be Improved , 2004, EuroPKI.

[33]  Shaowu Zhang,et al.  Research on Pairing-Based Batch Verification , 2010, 2010 International Conference on Communications and Mobile Computing.

[34]  David M'Raïhi,et al.  Can D.S.A. be Improved? Complexity Trade-Offs with the Digital Signature Standard , 1994, EUROCRYPT.

[35]  Lein Harn,et al.  Batch verifying multiple RSA digital signatures , 1998 .

[36]  Marc Girault,et al.  Self-Certified Public Keys , 1991, EUROCRYPT.

[37]  Fengyin Li,et al.  An Efficient Certificateless Signature Scheme from Bilinear Parings , 2011, 2011 International Conference on Network Computing and Information Security.

[38]  Jung Hee Cheon,et al.  Batch Verifications with ID-Based Signatures , 2004, ICISC.

[39]  Yi Mu,et al.  On the Security of Certificateless Signature Schemes from Asiacrypt 2003 , 2005, CANS.

[40]  Jacques Stern,et al.  Security Proofs for Signature Schemes , 1996, EUROCRYPT.

[41]  Gwoboa Horng,et al.  Strong non-repudiation based on certificateless short signatures , 2013, IET Inf. Secur..

[42]  M. Ferfra,et al.  Comparative Studies of Electrical Functioning of Magnetron Power Supply for One Magnetron , 2013 .

[43]  Xuemin Shen,et al.  Efficient Group Signature Scheme Supporting Batch Verification for Securing Vehicular Networks , 2010, 2010 IEEE International Conference on Communications.