A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.

James P. Delgrande Torsten Grote Aaron Hunter

Published in: LPNMR (2009)

Keyphrases

answer set programming
cryptographic protocols
logic programs
logic programming
answer sets
answer set programs
constraint logic programming
standard model
haplotype inference
stable model semantics
high level
constraint satisfaction problems
stable models
formal verification
causal theories