An Approach to the Formal Verification of the Two-Party Crypographic Protocols.
Yuqing ZhangJihong LiGuozhen XiaoPublished in: ACM SIGOPS Oper. Syst. Rev. (1999)
Keyphrases
- formal verification
- model checking
- fair exchange protocols
- key agreement protocol
- bounded model checking
- cryptographic protocols
- model checker
- automated verification
- symbolic model checking
- security protocols
- temporal logic
- program slicing
- functional verification
- record linkage
- multi party
- key exchange
- semi honest
- artificial intelligence