NDLI: Designing Authentication Protocols: Trends and Issues

Content Provider	IEEE Xplore Digital Library
Author	Muhammad, S. Furqan, Z. Guha, R.K.
Copyright Year	2006
Description	Author affiliation: University of Central Florida (Muhammad, S.)
Abstract	The vulnerability and importance of computers, robots, internet etc, demand the employment of exceedingly reliable methods in the design of secure systems. Security protocols are one of the most important design parameters. History has proven security protocols to be vulnerable even after they enjoyed circumspect design and meticulous review by experts. Plethora of formal systems exist in order to verify a security protocol. We posit that understanding the subtle issues in security protocols is important when designing a formal framework. In particular, we discuss authentication protocols. We mention their characteristics and point out important design features that a security protocol designer should focus in the design process. We also describe the notion of a penetrator and specify his characteristics. Our purpose is to emphasize the design criteria of an authentication protocol, clarify some subtleties, and give suggestions and pointers that may become helpful in the field of design and verification of cryptographic protocols.
Starting Page	76
Ending Page	76
File Size	229700
Page Count	1
File Format	PDF
ISBN	0769525520
DOI	10.1109/ICNICONSMCL.2006.76
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2006-04-23
Publisher Place	Mauritius
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Computer science Data security Computer network reliability Authentication Internet Cryptography History Computer security Robots Cryptographic protocols
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A Parameterized Analysis of Public-Key Protocols: Needham-Schroeder and Kerberos-5

Discovering Man-in-the-Middle Attacks in Authentication Protocols

Logic-Based Formal Analysis of Cryptographic Protocols

Petri nets in cryptographic protocols

Authentication without Elision: Partially Specified Protocols, Associated Data, and Cryptographic Models Described by Code

An enhanced authentication key exchange protocol

IDSec: An Identification Layer Security Model

Smart card based remote authentication scheme with strengthened security via ECDH

An Authentication Protocol for Future Sensor Networks

Designing Authentication Protocols: Trends and Issues

Similar Documents

A Parameterized Analysis of Public-Key Protocols: Needham-Schroeder and Kerberos-5

Discovering Man-in-the-Middle Attacks in Authentication Protocols

Logic-Based Formal Analysis of Cryptographic Protocols

Petri nets in cryptographic protocols

Authentication without Elision: Partially Specified Protocols, Associated Data, and Cryptographic Models Described by Code

An enhanced authentication key exchange protocol

IDSec: An Identification Layer Security Model

Smart card based remote authentication scheme with strengthened security via ECDH

An Authentication Protocol for Future Sensor Networks

Designing Authentication Protocols: Trends and Issues