HEURISTIC FOR DIRECTED MODEL CHECKING OF SECURITY PROTOCOLS

Q.U.A. NIZAMANI, H.A. NIZAMANI, F. H. CHANDIO, S. N. JAT, I.A. KOREJO

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.


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.