Formal analysis and design of authentication protocols

Siraj A. Shaikh

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Original languageEnglish
    Title of host publicationHandbook of Research on Information Security and Assurance
    EditorsJ.N.D. Gupta, S. Sharma
    Place of PublicationHershey PA
    PublisherIGI Global
    ISBN (Print)9781599048550, 9781599048567
    Publication statusPublished - 2009

    Bibliographical 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.


    • formal analysis
    • authentication protocols
    • cryptography

    Cite this