403 search results - page 26 / 81 » An algebra for commitment protocols |
105
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
This paper proposes the use of reliable group communication as a complement to traditional asynchronous messaging in multi-agent systems. In particular, the mechanism of message p...
ICDCSW
2000
IEEE
15 years 4 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
103
click to vote
CCR
1999
14 years 11 months ago
1999
In this paper a `fair' key generation and certification protocol for Diffie-Hellman keys is proposed, which is intended for use in cases where neither User nor CA are trusted...
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
JCS
2006
14 years 11 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...