Formal security verification of secured ECC based signcryption scheme

Advances in Intelligent and Soft Computing

Volumn 167 AISC, Issue VOL. 2, 2012, Pages 713-725

  Basu, Atanu ^a   Sengupta, Indranil ^a   Sing, Jamuna Kanta ^b  

^a INDIAN INSTITUTE OF TECHNOLOGY   (India)

^b JADAVPUR UNIVERSITY   (India)

Author keywords

adversary; AVISPA; ECDLP; elliptic curve cryptography; Signcryption; unsigncryption

Indexed keywords

ADVERSARY; AVISPA; ECDLP; ELLIPTIC CURVE CRYPTOGRAPHY; SIGNCRYPTION; UNSIGNCRYPTION;

PUBLIC KEY CRYPTOGRAPHY; SECURITY SYSTEMS;

COMPUTER SCIENCE;

EID: 84865160722     PISSN: 18675662     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-30111-7_68     Document Type: Conference Paper

References (17)

1. Zheng, Y.: Digital Signcryption or How to Achieve Cost (Signature & Encryption) ≪ Cost(Signature) + Cost(Encryption). In: Kaliski Jr., B.S. (ed.) CRYPTO 1997. LNCS, vol. 1294, pp. 165-179. Springer, Heidelberg (1997)
2. Zheng, Y., Imai, H.: How to construct efficient signcryption schemes on elliptic curves. Information Processing Letters 68(5), 227-233 (1998)
3. Peng, C., Xiang, L.: Threshold Signcryption Scheme Based on Elliptic Curve Cryptosystem and Verifiable Secret Sharing. In: International Conference on Wireless Communications, Networking and Mobile Computing, vol. 2, pp. 1182-1185 (September 2005)
4. Hwang, R.-J., Lai, C.-H., Su, F.-F.: An Efficient Signcryption Scheme With Forward Secrecy Based on Elliptic Curve. Applied Mathematics and Computation 167(2), 870-881 (2005)
5. Baek, J., Steinfeld, R., Zheng, Y.: Formal Proofs for the Security of Signcryption. Journal of Cryptology 20(2), 203-235 (2007)
6. Zhou, X.: Improved Signcryption Scheme with Public Verifiability. In: Pacific-Asia Conference on Knowledge Engineering and Software Engineering, pp. 178-181. IEEE (2009)
7. Basu, A., Sengupta, I., Sing, J.K.: Secured Hierarchical secret Sharing using ECC based Signcryption. In: Security and Communication Networks. Wiley (to appear)
8. Basu, A., Sengupta, I., Sing, J.K.: Cryptosystem for secret sharing scheme with hierarchical groups. International Journal of Network Security (to appear)
9. Hankerson, D., Menezes, A., Vanstone, S.: Guide to Elliptic Curve Cryptography. Springer (2004)
10. Vanstone, S.A.: Elliptic curve cryptosystem - The Answer to Strong, Fast Publickey Cryptography for Securing Constrained Environments. Information Security Technical Report 12(2), 78-87 (1997)
11. Stallings, W.: Cryptography and Network Security: Principles and Practices, 4th edn. Pearson Prentice Hall (2006)
12. Hasegawa, T., Nakajima, J., Matsui, M.: A Practical Implementation of Elliptic Curve Cryptosystems over GF(p) on a 16-bit Microcomputer. In: Imai, H., Zheng, Y. (eds.) PKC 1998. LNCS, vol. 1431, pp. 182-194. Springer, Heidelberg (1998)
13. Chuang, Y.-H., Tseng, Y.-M.: An efficient dynamic group key agreement protocol for imbalanced wireless networks. International Journal of Network Management 20(4), 167-180 (2010)
14. Dutta, R., Barua, R.: Provably Secure Constant Round Contributory Group Key Agreement. IEEE Transactions on Information Theory 54(5), 2007-2025 (2008)
15. AVISPA Project. AVISPA protocol library, http://www.avispa-project.org/
16. Vigano, L.: Automated Security Protocol Analysis With the AVISPA Tool. Electronic Notes in Theoretical Computer Science, vol. 155, pp. 61-86. Elsevier (2006)
17. Dolev, D., Yao, A.C.-C.: On the security of public key protocols. In: FOCS, pp. 350-357. IEEE (1981)