Heuristic Methods for Security Protocols

Details Heuristic Methods for Security Protocols Heuristic Methods for Security Protocols

2009-10-21

arxiv.org/abs/0910.4053v1

EPTCS 7, 2009, pp. 61-75

Computer Science

Cryptography and Security

Scientific paper

10.4204/EPTCS.7.5

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.

Affiliated with

Also associated with

No associations

Rating

Heuristic Methods for Security Protocols does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Heuristic Methods for Security Protocols, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Heuristic Methods for Security Protocols will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-143958