Quratulain Alam, Saher Tabbasum, Saif Ur Rehman Malik, Masoom Alam, Tamleek Ali, Adnan Akhunzada, Samee Ullah Khan, Athanasios V. Vasilakos, Rajkumar Buyya. Formal Verification of the xDAuth Protocol. IEEE Transactions on Information Forensics and Security, 11(9):1956-1969, 2016. [doi]
Abstract is missing.