Welcome to the InfoSci Platform
Formal Analysis and Design of Authentication Protocols

Formal Analysis and Design of Authentication Protocols

Siraj Ahmed Shaikh
Copyright: © 2009 |Pages: 14
ISBN13: 9781599048550|ISBN10: 1599048558|EISBN13: 9781599048567
DOI: 10.4018/978-1-59904-855-0.ch020
Cite Chapter Cite Chapter

MLA

Ahmed Shaikh, Siraj. "Formal Analysis and Design of Authentication Protocols." Handbook of Research on Information Security and Assurance, edited by Jatinder N. D. Gupta and Sushil Sharma, IGI Global, 2009, pp. 240-253. https://doi.org/10.4018/978-1-59904-855-0.ch020

APA

Ahmed Shaikh, S. (2009). Formal Analysis and Design of Authentication Protocols. In J. Gupta & S. Sharma (Eds.), Handbook of Research on Information Security and Assurance (pp. 240-253). IGI Global. https://doi.org/10.4018/978-1-59904-855-0.ch020

Chicago

Ahmed Shaikh, Siraj. "Formal Analysis and Design of Authentication Protocols." In Handbook of Research on Information Security and Assurance, edited by Jatinder N. D. Gupta and Sushil Sharma, 240-253. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-59904-855-0.ch020

Export Reference

Mendeley
Favorite

Abstract

The purpose of this chapter is to introduce the reader to the research area of formal analysis of authentication protocols. It briefly introduces the basic notions of cryptography and its use in authentication protocols. The chapter looks at the Needham-Schroeder (1978) protocol as an example of an authentication protocol, and examines the history of the protocol as a stimulus to the formal analysis of such protocols. We then introduce the process algebra CSP (Hoare, 1985) to model authentication protocols and present Schneider’s (1998) rank function approach to analysing such protocols. The chapter concludes by describing related ongoing work in this area of research and highlight some of the challenges posed by the problem of analysing and designing protocols.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.