2281 search results - page 392 / 457 » Security Patterns and Secure Systems Design |
127
Voted
EUROCRYPT
2003
Springer
15 years 8 months ago
2003
Springer
A classical construction of stream ciphers is to combine several LFSRs and a highly non-linear Boolean function f. Their security is usually analysed in terms of correlation attack...
138
Voted
LICS
1999
IEEE
15 years 7 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
118
Voted
HPCN
1999
Springer
15 years 7 months ago
1999
Springer
We describe a prototypical storage service through which we are addressing some of the open storage issues in wide-area distributed high-performance computing. We discuss some of t...
112
Voted
USENIX
2008
15 years 5 months ago
2008
The popularity of "Trust-on-first-use" (Tofu) authentication, used by SSH and HTTPS with self-signed certificates, demonstrates significant demand for host authenticatio...
157
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Our demo presents an agent-based intrusion detection system designed for deployment on high-speed backbone networks. The major contribution of the system is the integration of sev...