Knowledge Flow Analysis for Security Protocols

Details Knowledge Flow Analysis for Security Protocols Knowledge Flow Analysis for Security Protocols

2006-05-24

arxiv.org/abs/cs/0605109v1

Computer Science

Cryptography and Security

20 pages

Scientific paper

Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of knowledge amongst principals. Because this characterization corresponds closely to informal descriptions of protocols, it allows a succinct and natural formalization; because it abstracts away message ordering, and handles communications between principals and applications of cryptographic primitives uniformly, it is readily represented in a standard logic. A generic framework in the Alloy modelling language is presented, and instantiated for two standard protocols, and a new key management scheme.

Affiliated with

Also associated with

No associations

Rating

Knowledge Flow Analysis 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 Knowledge Flow Analysis for Security Protocols, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Knowledge Flow Analysis for Security Protocols will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-71454