3115 search results - page 337 / 623 » Synthesizing Secure Protocols |
170
click to vote
NCA
2006
IEEE
16 years 20 days ago
2006
IEEE
Clustered sensor networks have been shown to increase system throughput, decrease system delay, and save energy. While those with rotating cluster heads, such as LEACH, have also ...
173
click to vote
ACSAC
2005
IEEE
16 years 8 days ago
2005
IEEE
We present the Internet Key Service (IKS), a distributed architecture for authenticated distribution of public keys, layered on Secure DNS (DNSSEC). Clients use DNSSEC to securely...
166
click to vote
TCC
2005
Springer
16 years 3 days ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
193
Voted
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present here the execution model of a policy-driven middleware for building secure distributed collaboration systems from their high level specifications. Our specification m...
180
Voted
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...