598 search results - page 38 / 120 » A fair certification protocol |
MASA
2001
Springer
14 years 2 months ago
2001
Springer
In this paper we present a fairly complex example of how the social model for agent conversations based on social commitments we have developed in the past formally supports the im...
JTAER
2008
13 years 9 months ago
2008
Digital watermarking is a promising technology to embed information as unperceivable signals in digital contents. Various watermarking techniques have been proposed to protect cop...
SSS
2007
Springer
14 years 4 months ago
2007
Springer
We investigate deterministic broadcasting on multiple-access channels in the framework of adversarial queuing. A protocol is stable when the number of packets stays bounded, and it...
JCS
2006
13 years 9 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
ADVIS
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, a practical and secure e-mail system (called “PractiSES”) that performs public key distribution and management in a unique way is proposed. PractiSES is a networ...