5119 search results - page 258 / 1024 » Security Privacy |
119
click to vote
CCS
1997
ACM
15 years 10 months ago
1997
ACM
In this paper, we address the following problem: \ Is it possible to weaken/attack a scheme when a (provably) secure cryptosystem is used? ". The answer is yes. We exploit we...
163
click to vote
IEEEARES
2006
IEEE
16 years 8 days ago
2006
IEEE
Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the...
151
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
160
click to vote
IEEEARES
2007
IEEE
16 years 17 days ago
2007
IEEE
Service-oriented architectures (SOAs) are a commonly used paradigm for IT infrastructures in various fields. Due to their flexibility and the easy accessibility of their underly...
136
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
Sphinx is a cryptographic message format used to relay anonymized messages within a mix network. It is more compact than any comparable scheme, and supports a full set of security...