An approach to the formal verification of the three-principal cryptographic protocols.

Yuqing Zhang Xiuying Liu

Published in: ACM SIGOPS Oper. Syst. Rev. (2004)

Keyphrases

formal verification
cryptographic protocols
model checking
bounded model checking
model checker
automated verification
symbolic model checking
program slicing
real time
private information retrieval
database
information systems
web services
query processing
wireless sensor networks