An Efficient Cryptographic Protocol Verifier Based on Prolog Rules (2001)

by Bruno Blanchet
Venue:IN 14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP (CSFW-14
Citations:248 - 10 self