@inbook{2cdf8e53b1a4448090c2794d2568df80,
title = "Formal analysis and design of authentication protocols",
keywords = "formal analysis, authentication protocols, cryptography",
author = "Shaikh, {Siraj A.}",
note = "The full text is not available from the repository. Please note Dr Shaikh was working at the United Nations University (UNU), Macau, SAR China, at the time of Publication.",
year = "2009",
doi = "10.4018/978-1-59904-855-0.ch020",
language = "English",
isbn = "9781599048550",
pages = "240--253",
editor = "J.N.D. Gupta and S. Sharma",
booktitle = "Handbook of Research on Information Security and Assurance",
publisher = "IGI Global",
address = "United States",
}