An Efficient Cryptographic Protocol Verifier Based on Prolog Rules.

Published in: CSFW (2001)

Keyphrases

cryptographic protocols
inference engine
expert systems
logic programming
knowledge base
association rules
programming language
horn clauses
security protocols
backward chaining
information systems
database systems
knowledge representation
low cost
rule sets
existentially quantified