Journal article

Formal Verification of the xDAuth Protocol

Quratulain Alam, Saher Tabbasum, Saif UR Malik, Masoom Alam, Tamleek Ali, Adnan Akhunzada, Samee U Khan, Athanasios V Vasilakos, Rajkumar Buyya

IEEE Transactions on Information Forensics and Security | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC | Published : 2016