Compiling and securing cryptographic protocols

Details Compiling and securing cryptographic protocols Compiling and securing cryptographic protocols

2009-10-27

arxiv.org/abs/0910.5099v1

Computer Science

Logic in Computer Science

A short version was submitted to IPL

Scientific paper

Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequences of operations to be performed by each role. Unlike previous works, we reduce this compilation process to well-known decision problems in formal protocol analysis. This allows one to define a natural notion of prudent translation and to reuse many known results from the literature in order to cover more crypto-primitives. In particular this work is the first one to show how to compile protocols parameterised by the properties of the available operations.

Affiliated with

Also associated with

No associations

Rating

Compiling and securing cryptographic 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 Compiling and securing cryptographic protocols, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Compiling and securing cryptographic protocols will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-482955