Directed Model Checking for Security Protocols

Abstract

We present in this paper the experimental results for the heuristic suggested in (Nizamani, et al., 2009) for security protocol verification. The results show that approach can considerably reduce the size of the state space while finding attacks. Further, we have shown that our approach can verify large protocols which could not be verified earlier due to state space explosion problem.