|Title of host publication||Handbook of Research on Information Security and Assurance|
|Editors||J.N.D. Gupta, S. Sharma|
|Place of Publication||Hershey PA|
|ISBN (Print)||9781599048550, 9781599048567|
|Publication status||Published - 2009|
Bibliographical noteThe 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.
- formal analysis
- authentication protocols
Research output: Chapter in Book/Report/Conference proceeding › Chapter
TY - CHAP
T1 - Formal analysis and design of authentication protocols
AU - Shaikh, Siraj A.
N1 - 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.
PY - 2009
Y1 - 2009
KW - formal analysis
KW - authentication protocols
KW - cryptography
U2 - 10.4018/978-1-59904-855-0.ch020
DO - 10.4018/978-1-59904-855-0.ch020
M3 - Chapter
SN - 9781599048550
SN - 9781599048567
SP - 240
EP - 253
BT - Handbook of Research on Information Security and Assurance
A2 - Gupta, J.N.D.
A2 - Sharma, S.
PB - IGI Global
CY - Hershey PA