Directed Model Checking for Security Protocols
Main Article Content
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.
Article Details
How to Cite
Q.U.A. NIZAMANI, H.A. NIZAMANI, F.H. CHANDIO, M.S. CHANDIO, & N.H. ARIJO. (2012). Directed Model Checking for Security Protocols. Sindh University Research Journal - SURJ (Science Series), 44(2). Retrieved from https://sujo.usindh.edu.pk/index.php/SURJ/article/view/5731
Section
Articles