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

by B Blanchet
Venue:In 14th Computer Security Foundations Workshop (CSFW’01). IEEE Comp