403 search results - page 67 / 81 » An algebra for commitment protocols |
ICWS
2008
IEEE
15 years 1 months ago
2008
IEEE
In order to co-ordinate multiple resource providers in grid environment to meet a common objective, support for negotiation is needed to establish a contract between the user and ...
109
click to vote
TC
2002
14 years 11 months ago
2002
Abstract--Mobile systems increasingly are being used for production-grade datacentered applications which require system support for transactional properties. For mobile applicatio...
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Software transactional memory (STM) algorithms often rely on centralized components to achieve atomicity, isolation and consistency. In a distributed setting, centralized...
116
click to vote
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...
ESORICS
2005
Springer
15 years 5 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...