Computer Science – Cryptography and Security
Scientific paper
2009-08-21
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.
Genge Bela
Haller Piroska
Ignat Iosif
Ratoi Ovidiu
No associations
LandOfFree
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.
Profile ID: LFWR-SCP-O-666505