403 search results - page 75 / 81 » An algebra for commitment protocols |
100
click to vote
OTM
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
92
Voted
FTDCS
2003
IEEE
15 years 4 months ago
2003
IEEE
Mobile clients retrieve and update databases at servers. They use transactions in order to ensure the consistency of shared data in the presence of concurrent accesses. Transactio...
85
Voted
SIGECOM
2003
ACM
15 years 4 months ago
2003
ACM
This paper discusses an interested party who wishes to influence the behavior of agents in a game (multi-agent interaction), which is not under his control. The interested party ...
119
click to vote
CRYPTO
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Let A and B denote cryptographic primitives. A (k, m)robust A-to-B combiner is a construction, which takes m implementations of primitive A as input, and yields an implem...
JUCS
2008
14 years 11 months ago
2008
Abstract: ZRTP is a protocol designed to set up a shared secret between two communication parties which is subsequently used to secure the media stream (i.e. the audio data) of a V...