1777 search results - page 130 / 356 » Programming Cryptographic Protocols |
198
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
123
click to vote
CLIMA
2004
15 years 2 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
ENTCS
2006
15 years 1 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
119
click to vote
PODC
2004
ACM
15 years 6 months ago
2004
ACM
Group key exchange protocols allow a group of servers communicating over an asynchronous network of point-to-point links to establish a common key, such that an adversary which fu...
130
click to vote
FMCO
2003
Springer
15 years 6 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...