Login / Signup
Using state space exploration and a natural deduction style message derivation engine to verify security protocols.
Edmund M. Clarke
Somesh Jha
Wilfredo R. Marrero
Published in:
PROCOMET (1998)
Keyphrases
</>
space exploration
security protocols
natural deduction
automated design
artificial immune algorithm
cost effective
belief revision
theorem prover
obstacle avoidance
cut elimination