A Trace Logic for Local Security Properties

Details A Trace Logic for Local Security Properties A Trace Logic for Local Security Properties

2004-11-05

arxiv.org/abs/cs/0411010v2

Computer Science

Cryptography and Security

New version

Scientific paper

We propose a new simple \emph{trace} logic that can be used to specify \emph{local security properties}, i.e. security properties that refer to a single participant of the protocol specification. Our technique allows a protocol designer to provide a formal specification of the desired security properties, and integrate it naturally into the design process of cryptographic protocols. Furthermore, the logic can be used for formal verification. We illustrate the utility of our technique by exposing new attacks on the well studied protocol TMN.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-497947