Formal Verification of the xDAuth Protocol

  • Main
  • 2016
  • Formal Verification of the xDAuth Protocol
IEEE Transactions on Information Forensics and Security 2016

Formal Verification of the xDAuth Protocol

Alam, Quratulain, Tabbasum, Saher, Malik, Saif, Alam, Masoom, Tanveer, Tamleek, Akhunzada, Adnan, Khan, Samee, Vasilakos, Athanasios, Buyya, Rajkumar
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2016
Language:
english
Journal:
IEEE Transactions on Information Forensics and Security
DOI:
10.1109/tifs.2016.2561909
File:
PDF, 3.18 MB
english, 2016
Conversion to is in progress
Conversion to is failed