741 search results - page 59 / 149 » Verification of security protocols using LOTOS-method and ap... |
204
Voted
CCR
2004
15 years 3 months ago
2004
In this paper, we propose a new approach to preventing and constraining denial-of-service (DoS) attacks. Instead of being able to send anything to anyone at any time, in our archi...
134
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
Conversations involving three or more agents often occur in multi-agent systems, for example in brokering and auction protocols typically used in e-commerce. For developing agents ...
135
click to vote
SPAA
2010
ACM
15 years 8 months ago
2010
ACM
This paper studies non-cryptographic authenticated broadcast in radio networks subject to malicious failures. We introduce two protocols that address this problem. The first, Nei...
131
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Distance bounding protocols have been proposed for many security critical applications as a means of getting an upper bound on the physical distance to a communication partner. As...
110
click to vote
EUROCRYPT
2009
Springer
16 years 4 months ago
2009
Springer
The notion of Zero Knowledge Proofs (of knowledge) [ZKP] is central to cryptography; it provides a set of security properties that proved indispensable in concrete protocol design...