Abstracting Cryptographic Protocols by Prolog Rules.

Published in: SAS (2001)

Keyphrases

cryptographic protocols
inference engine
security properties
logic programming
knowledge representation
standard model
authentication protocol
association rules
end to end
security protocols
data management
intrusion detection
cost effective