3115 search results - page 571 / 623 » Synthesizing Secure Protocols |
165
click to vote
ASIACRYPT
2009
Springer
16 years 18 days 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...
169
click to vote
HPDC
2007
IEEE
16 years 10 days 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...
175
click to vote
PKC
2007
Springer
16 years 4 days 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...
178
click to vote
ICAC
2006
IEEE
16 years 2 days 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...
175
click to vote
SAC
2006
ACM
15 years 12 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...