Term-based composition of security protocols

Details Term-based composition of security protocols Term-based composition of security protocols

2009-08-21

arxiv.org/abs/0908.3083v1

Computer Science

Cryptography and Security

2008 IEEE International Conference on Automation, Quality and Testing, Robotics, Cluj-Napoca, Romania, May 2008, pp. 233-238,

Scientific paper

In the context of security protocol parallel composition, where messages belonging to different protocols can intersect each other, we introduce a new paradigm: term-based composition (i.e. the composition of message components also known as terms). First, we create a protocol specification model by extending the original strand spaces. Then, we provide a term composition algorithm based on which new terms can be constructed. To ensure that security properties are maintained, we introduce the concept of term connections to express the existing connections between terms and encryption contexts. We illustrate the proposed composition process by using two existing protocols.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-666505