Login / Signup
Formal Verification of the xDAuth Protocol.
Quratulain Alam
Saher Tabbasum
Saif Ur Rehman Malik
Masoom Alam
Tamleek Ali
Adnan Akhunzada
Samee Ullah Khan
Athanasios V. Vasilakos
Rajkumar Buyya
Published in:
IEEE Trans. Inf. Forensics Secur. (2016)
Keyphrases
</>
formal verification
coloured petri nets
model checker
model checking
cryptographic protocols
symbolic model checking
bounded model checking
automated verification
program slicing
lightweight
description language