Using state space exploration and a natural deduction style message derivation engine to verify security protocols.

Edmund M. Clarke Somesh Jha Wilfredo R. Marrero Using state space exploration and a natural deduction style message derivation engine to verify security protocols. 87-106 1998 conf/procomet/1998 PROCOMET db/conf/procomet/procomet1998.html#ClarkeJM98