Directed model checking for security protocols.

Q. U. A. Nizamani; H. A. Nizamani; F. H. Chandio; M. S. Chandio; N. H. Arijo

No Detail Found!

Directed model checking for security protocols.

Author(s)

Q. U. A. Nizamani Institute of Maths and Comp. Science, University of Sindh, Jamshoro, Pakistan

H. A. Nizamani Institute of Maths and Comp. Science, University of Sindh, Jamshoro, Pakistan

F. H. Chandio Institute of Maths and Comp. Science, University of Sindh, Jamshoro, Pakistan

M. S. Chandio Institute of Maths and Comp. Science, University of Sindh, Jamshoro, Pakistan

N. H. Arijo Institute of Information and Communication Technology, University of Sindh, Jamshoro, Pakistan

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.

Publication Details

Page(s) 323-328

DOI DOI not available

Published Journal: Sindh University Research Journal, Volume: 44, Issue: 2, Year: 2012

Request the full text from PASTIC

Citations

Downloads

106

Views