3504 search results - page 29 / 701 » Secure protocol composition |
68
Voted
SP
2002
IEEE
14 years 9 months ago
2002
IEEE
ACSC
2008
IEEE
15 years 4 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...
264
Voted
IJNSEC
2008
14 years 9 months ago
2008
Despite the importance of proofs in assuring protocol implementers about the security properties of key establishment protocols, many protocol designers fail to provide any proof ...
PODC
1995
ACM
15 years 1 months ago
1995
ACM
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
68
Voted
AAAI
2007
14 years 12 months ago
2007
Protocols are modular abstractions that capture patterns of interaction among agents. The compelling vision behind protocols is to enable creating customized interactions by refi...