Heuristic for directed model checking of security protocols.

Q. U. A. Nizamani; H. A. Nizamani; F. H. Chandio; S. N. Jat; I. A. Korejo

No Detail Found!

Heuristic for directed model checking of 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

S. N. Jat Institute of Maths and Comp. Science, University of Sindh, Jamshoro, Pakistan

I. A. Korejo Institute of Maths and Comp. Science, University of Sindh, Jamshoro, Pakistan

Abstract

This paper introduces a heuristic to mitigate the state space explosion problem inherent in model checking of security protocols. The heuristic is property-dependent as it derives the hints from the security property to be verified. The heuristic has been implemented in a tool and the preliminary results show the effectiveness of the heuristic. The heuristic extends our previous work in which we suggested that directed model checking can be effectively used for security protocol verification.

Publication Details

Page(s) 391-394

DOI DOI not available

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

Request the full text from PASTIC

Citations

Downloads

Views