Fulltext - International Journal of Computer Technology and ...

Sanjay Kumar Sonkar et al ,Int.J.Computer Technology & Applications,Vol 3 (2), 525-531
Symposium on Programming (ESOP), pages 157–
171, 2005.
[14] Anupam Datta, Ante Derek, John Mitchell, Vitalij
Shmatikov, and Matthieu Turuani. Probabilistic
polynomial-time semantics for protocol security
logic. In Proc. 32nd International Colloquium on
Automata, Languages and Programming (ICALP),
volume 3580 of Lecture Notes in Computer
Science, pages 16–29. Springer, 2005.
[15] Laud, P. Formal analysis of crypto protocols:
Secrecy types for a simulatable cryptographic
library. In Proc. ACM Conf. on Computer and
Communication Security (ACM CCS 2005)
(2005), ACM Press, pp. 26–35.
http://scialert.net/fulltext/?doi=itj.2011.1068.1091
&org=11
[16] C. He and J. C. Mitchell. Security Analysis and
Improvements for IEEE 802.11i. In Proceedings of
the 11th Annual Network and Distributed System
Security Symposium (NDSS ’05), February 2005.
[17] Ran Canetti and Jonathan Herzog. Universally
composable symbolic analysis of cryptographic
protocols (the case of encryption-based mutual
authentication and key exchange). In Proc. 3rd
Theory of Cryptography Conference (TCC), 2006.
[18] Iliano Cervesato, Aaron D. Jaggard, Andre
Scedrov, Joe-Kai Tsay, and Chris Walstad.
Breaking and fixing public-key Kerberos. In Proc.
WITS’06, pages 55–70, 2006.
[19] Anupam Datta, Ante Derek, John Mitchell, and
Bogdan Warinschi. Key exchange protocols:
Security definition, proof method, and applications.
In 19th IEEE Computer Security Foundations
Workshop (CSFW 19), Venice, Italy, 2006. IEEE
Press.
[20] Tsudik, G. YA-TRAP: Yet another trivial RFID
authentication protocol. In Proc. IEEE Intern. Conf.
on Pervasive Computing and Communications
(PerCom 2006) (2006), IEEE Press.
[21] Oren, Y., and Shamir, A. Power analysis of RFID
tags. Appeared in the rump session of Advances in
Cryptology, CRYPTO 2006. Available online at
http://www.wisdom.weizmann.ac.il/_yossio/rfid/,
Weizmann Institute, 2006.
[22] Burmester, M., van Le, T., and de Medeiros, B.
Provably secure ubiquitous systems: Universally
composable RFID authentication protocols. E-print
report 2006/131, International Association for
Cryptological Research, 2006.
[23] IETF. Public Key Cryptography for Initial
Authentication in Kerberos, 1996–2006. Sequence
of Internet drafts available from
http://tools.ietf.org/wg/krb-wg/draft-ietf-catkerberos-pk-init/.
[24] F. Wang and Y. Zhang, “A new provably secure
authentication and key agreement mechanism for
SIP using certificateless public-key cryptography”,
Cryptology ePrint Archive, Report 2007/220, 2007.
[25] Tarjei K. Mandt and Chik How Tan,
“Certificateless authenticated two-party key
agreement protocol”, ASIAN 2006, LNCS 4435,
pp.37-44, 2007.
[26] Y. Sun, F. Zhang, and J. Baek, “Strongly Secure
Certificate less Public Key Encryption without
Pairing”, CANS 2007, LNCS 4856, pp.194-208,
2007.
[27] X. Liang, SH. Wang, J. Shen and G. Xu, “Breaking
and Repairing the Certificate less key agreement
protocol from ASIAN 2006”, Wuhan University
Journal of Natural Sciences,vol. 13, no. 5, pp. 562-
566, 2008.
[28] Dario Fiore and Rosario Gennaro, “Making the
Diffie-Hellman Protocol Identity-Based”,
http://eprint.iacr.org/2009/174,2009.
[29] Georg Lippold, Colin Boyd and Juan Gonzalez
Nieto, “Strongly Secure Certificate less Key
Agreement”, http://eprint.iacr.org/2009/219.
[30] Cas J.F. Cremers, “Formally and Practically
Relating the CK, CK-HMQV, and eCK Security
Models for Authenticated Key Exchange”,
http://eprint.iacr.org/2009/253.
Bibliographies:
ISSN:2229-6093
Sanjay Kumar Sonkar was born at
Varanasi, (U.P.), in India. He received
the B. Tech degree in Computer Science
& Engineering in 2010 from Radha
Govind Engineering College, Meerut,
India. Presently, he is an M.Tech student
in Computer Science & Engineering from Kamla Nehru
Institute of Technology, Sultanpur, U.P., India.
Dharmendra Lal Gupta is currently
working as an Assistant Professor in the
Department of Computer Science &
Engineering at KNIT, Sultanpur (U.P.)
India. And he is also pursuing his Ph.D.
in Computer Science & Engineering
from Mewar University, Chittorgarh (Rajasthan). He
received B.Tech.(1999) from Kamla Nehru Institute of
Technology (KNIT) Sultanpur, in Computer Science &
Engineering, M.Tech. Hon’s (2003) in Digital Electronics
and Systems from Kamla Nehru Institute of Technology
(KNIT) Sultanpur. His research interests are Cryptography
and Network Security, Software Quality Engineering, and
Software Engineering.
Dr. Anil Kumar Malviya is an Associate
Professor in the Computer Science &
Engineeering. Department at Kamla
Nehru Institute of Technology, (KNIT),
Sultanpur. He received his B.Sc. &
M.Sc. both in Computer Science from
Banaras Hindu University, Varanasi respectively in 1991
and 1993 and Ph.D. degree in Computer Science from
530