Work

Term-Based Composition of Security Protocols

Year: 2008

Type: conference-paper

Abstract: 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.

Source: IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR)

DOI: 10.1109/aqtr.2008.4588741

Authors: B. Genge, P. Haller, R. Ovidiu, I. Ignat

Institutions: Universitatea Petru Maior din Tîrgu Mureş, Technical University of Cluj-Napoca

Language: English

Topic: Advanced Authentication Protocols Security

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2156995243

FWCI: 0.514

Cites: 22

Cited by: 3

Related to: 10