3115 search results - page 460 / 623 » Synthesizing Secure Protocols |
177
click to vote
ACNS
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. We examine the use of randomness extraction and expansion in key agreement (KA) protocols to generate uniformly random keys in the standard model. Although existing works...
178
click to vote
WISTP
2010
Springer
16 years 27 days ago
2010
Springer
ct This paper discusses the practical implementation of a novel security tool termed SIMPL system, which was introduced in [1]. SIMPL systems can be regarded as a public key versio...
152
click to vote
ACSAC
2009
IEEE
16 years 22 days ago
2009
IEEE
—Several security protocols require a human to compare two hash values to ensure successful completion. When the hash values are represented as long sequences of numbers, humans ...
151
click to vote
HICSS
2009
IEEE
16 years 22 days ago
2009
IEEE
To protect process control networks from cyber intrusions, preventive security measures such as perimeter defenses (for example, network firewalls and demilitarized zones) and se...
196
click to vote
ANSS
2008
IEEE
16 years 12 days 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...