Protocol composition is a common approach to structure protocols used by networked applications, and typically a vertically layered approach is taken. This paper presents an alternative approach, where the protocol composition is a weakly-coupled set of protocol modules organized in a non-hierarchical structure. Protocol modules are dynamically constructed at runtime. The approach is designed for sys-tems that involves multiple communicating entities and mul-ticast style interactions are supported, making the approach suitable for building reliable network applications. The main advantage of the approach is type-safety and that modules in the same composition communicate by direct interaction, whereas other frameworks typically use a vertic...
Vertical composition of security protocols means that an application protocol (e.g., a banking servi...
This paper presents a generic addressing framework (GAF) which enables the development of protocol s...
Real-world communication protocols are often built out of a number of simpler protocols that cater f...
Computer systems supporting high assurance and high consequences applications typically utilize depe...
In programming, protocols are everywhere. Protocols describe the pattern of interaction (or communic...
It is essential to develop methodologies for the design of distributed protocols in order to reduce ...
The aim of this research is to present a new methodology for the systematic de sign of compound prot...
The Horus system supports a communication architecture that treats protocols as instances of an abst...
Horus is a communication architecture that treats a protocol as an abstract data type. Protocol laye...
International audienceCurrent network architectures and solutions are about to reach the limits of s...
Currently, protocol stacks operate in various contexts and it is therefore not possible to know the ...
Reliable distributed systems involve many complex protocols. In this context, protocol compositions ...
The problem of designing a correct real-time protocol is a challenging task and has led researchers ...
In this paper we compare two approaches to the design of protocol frameworks -- tools for implementi...
This paper presents Bast, an object-oriented library of reliable distributed protocols. We show how ...
Vertical composition of security protocols means that an application protocol (e.g., a banking servi...
This paper presents a generic addressing framework (GAF) which enables the development of protocol s...
Real-world communication protocols are often built out of a number of simpler protocols that cater f...
Computer systems supporting high assurance and high consequences applications typically utilize depe...
In programming, protocols are everywhere. Protocols describe the pattern of interaction (or communic...
It is essential to develop methodologies for the design of distributed protocols in order to reduce ...
The aim of this research is to present a new methodology for the systematic de sign of compound prot...
The Horus system supports a communication architecture that treats protocols as instances of an abst...
Horus is a communication architecture that treats a protocol as an abstract data type. Protocol laye...
International audienceCurrent network architectures and solutions are about to reach the limits of s...
Currently, protocol stacks operate in various contexts and it is therefore not possible to know the ...
Reliable distributed systems involve many complex protocols. In this context, protocol compositions ...
The problem of designing a correct real-time protocol is a challenging task and has led researchers ...
In this paper we compare two approaches to the design of protocol frameworks -- tools for implementi...
This paper presents Bast, an object-oriented library of reliable distributed protocols. We show how ...
Vertical composition of security protocols means that an application protocol (e.g., a banking servi...
This paper presents a generic addressing framework (GAF) which enables the development of protocol s...
Real-world communication protocols are often built out of a number of simpler protocols that cater f...