5119 search results - page 341 / 1024 » Security Privacy |
191
click to vote
CSFW
2006
IEEE
16 years 24 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
159
click to vote
ACISP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract The Host Identity Protocol (HIP) is an Internet security and multiaddressing mechanism specified by the IETF. HIP introduces a new layer between the transport and network ...
171
click to vote
CCS
2004
ACM
16 years 4 days ago
2004
ACM
We show that a number of recent definitions and constructions of fuzzy extractors are not adequate for multiple uses of the same fuzzy secret—a major shortcoming in the case of...
172
click to vote
ACSAC
2003
IEEE
16 years 1 days ago
2003
IEEE
There is a large gap between the theory and practice for random number generation. For example, on most operating systems, using /dev/random to generate a 256-bit AES key is highl...
156
click to vote
XMLSEC
2003
ACM
15 years 12 months ago
2003
ACM
Reliable and atomic transactions are a key to successful eBusiness interactions. Reliable messaging subsystems, such as IBM’s MQ Series, or broker-based techniques have been tra...