Heuristic Methods for Security Protocols
Cryptography and Security
2009-10-22 v1 Logic in Computer Science
Programming Languages
Abstract
Model checking is an automatic verification technique to verify hardware and software systems. However it suffers from state-space explosion problem. In this paper we address this problem in the context of cryptographic protocols by proposing a security property-dependent heuristic. The heuristic weights the state space by exploiting the security formulae; the weights may then be used to explore the state space when searching for attacks.
Keywords
Cite
@article{arxiv.0910.4053,
title = {Heuristic Methods for Security Protocols},
author = {Qurat ul Ain Nizamani and Emilio Tuosto},
journal= {arXiv preprint arXiv:0910.4053},
year = {2009}
}