State Space Reduction with Message Inspection in Security Protocol Model Checking

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

Model checking is a widespread automatic formal analysis that has been successful in discovering flaws in security protocols. However existing possibilities for state space explosi…