372 search results - page 23 / 75 » Model Checking Commitment Protocols |
96
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
123
Voted
SIGMETRICS
2008
ACM
15 years 12 days ago
2008
ACM
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout dynamically changing networks. We present an analysis of a gossip pro...
111
Voted
FOCS
2010
IEEE
14 years 10 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
132
Voted
CORR
2010
Springer
15 years 2 days ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
156
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...