Login / Signup
Comments on "An approach to the formal verification of the two-party cryptographic protocols" by Zhang, Li and Xiao.
Dongyao Ji
Yuming Wang
Published in:
ACM SIGOPS Oper. Syst. Rev. (2001)
Keyphrases
</>
formal verification
cryptographic protocols
model checking
automated verification
model checker
bounded model checking
security properties
symbolic model checking
program slicing
real time
similarity measure
security analysis
encryption decryption