Work

Heuristic Methods for Security Protocols

Year: 2009

Type: article

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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.7.5

Authors: Qurat ul Ain Nizamani, Emilio Tuosto

Institution: University of Leicester

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2017237288

FWCI:

Cites: 31

Cited by:

Related to: 10