3115 search results - page 571 / 623 » Synthesizing Secure Protocols |
138
click to vote
ASIACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Non-malleability is an interesting and useful property which ensures that a cryptographic protocol preserves the independence of the underlying values: given for example an encryp...
148
click to vote
HPDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Grid computations require global access to massive data stores. To meet this need, the GridNFS project aims to provide scalable, high-performance, transparent, and secure wide-are...
144
click to vote
PKC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Key-insulated cryptography is a crucial technique for protecting private keys. To strengthen the security of key-insulated protocols, Hanaoka, Hanaoka and Imai recently i...
143
click to vote
ICAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Traditional High Performance Computing systems require extensive management and suffer from security and configuration problems. This paper presents a new clustermanagement syste...
151
Voted
SAC
2006
ACM
15 years 10 months ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...