1777 search results - page 130 / 356 » Programming Cryptographic Protocols |
248
click to vote
POPL
2005
ACM
16 years 5 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...
154
click to vote
CLIMA
2004
15 years 6 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...
118
click to vote
ENTCS
2006
15 years 5 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...
146
click to vote
PODC
2004
ACM
15 years 10 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...
164
click to vote
FMCO
2003
Springer
15 years 10 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...