1186 search results - page 3 / 238 » Goal-Oriented Interaction Protocols |
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
IFIP
2009
Springer
13 years 3 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
SPW
1997
Springer
13 years 9 months ago
1997
Springer
There are many cases in the literature in which reuse of the same key material for different functions can open up security holes. In this paper, we discuss such interactions betw...
CHI
2010
ACM
13 years 10 months ago
2010
ACM
ACSC
2008
IEEE
13 years 12 months ago
2008
IEEE
In this paper, we examine the composition of firstclass protocols for multi-agent systems. First-class protocols are protocols that exist as executable specifications that agent...