2281 search results - page 392 / 457 » Security Patterns and Secure Systems Design |
153
click to vote
EUROCRYPT
2003
Springer
15 years 11 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...
169
click to vote
LICS
1999
IEEE
15 years 10 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...
150
click to vote
HPCN
1999
Springer
15 years 10 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...
155
click to vote
USENIX
2008
15 years 8 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...
192
click to vote
ATAL
2008
Springer
15 years 8 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...