Kenneth P. Bogart
-
Comparing State Spaces in Automatic Security Protocol Analysis
Formal to Practical Security