Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification - Patel, Reema; Borisaniya, Bhavesh; Patel, Avi; Patel, Dhiren; Rajarajan, Muttukrishnan; Zisman, Andrea (Recent Trends in Network Security and Applications, 2010)
Keywords: Falsification; Formal Methods; Security Protocols; State Exploration; Verification