DIRECTED MODEL CHECKING FOR SECURITY PROTOCOLS

Q.U.A. NIZAMANI, H.A. NIZAMANI, F.H. CHANDIO, M.S. CHANDIO, N.H. ARIJO

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.


Full Text:

PDF

Refbacks

  • There are currently no refbacks.


Copyright (c) 2015 Sindh University Research Journal - SURJ (Science Series)

 Copyright © University of Sindh, Jamshoro. 2017 All Rights Reserved.
Printing and Publication by: Sindh University Press.