Formal Verification of the xDAuth Protocol Journal Articles Refereed uri icon

Overview

Authors

  • Authorship

    • ALAM Q
    • TABBASUM S
    • MALIK SUR
    • ALAM M
    • ALI T
    • AKHUNZADA A
    • KHAN SU
    • VASILAKOS AV
    • PROF Rajkumar Buyya

Published in

  • IEEE Transactions on Information Forensics and Security

Time

Date/time value

  • 2016

Identity

Digital Object Identifier (DOI)

  • 10.1109/TIFS.2016.2561909

Additional Document Info

Parent Title

  • IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY

Volume

  • 11

Issue

  • 9

Publisher

  • IEEE - Institute of Electrical and Electronic Engineers