1612 search results - page 230 / 323 » About models of security protocols |
163
Voted
ANSS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes a secure and reliable method for storing data in a distributed hash table (DHT) leveraging the inherent properties of the DHT to provide a secure storage subs...
148
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We introduce a new simulation platform called Insight, created to design and simulate cyber-attacks against large arbitrary target scenarios. Insight has surprisingly low hardware...
121
Voted
TCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A protocol compiler is described, that transforms any provably secure authenticated 2-party key establishment into a provably secure authenticated group key establishment...
114
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
127
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we propose a facilitator that finds capable and trustworthy partners on behalf of client users, which helps users form and maintain e-partnerships for electronic co...