C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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