Preface to the special issue on ESORICS 2003.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 3, p. 133, doi. 10.1007/s10207-004-0054-8
- By:
- Publication type:
- Article
Works matching IS 16155262 AND DT 2005 AND VI 4 AND IP 3
Results: 6
1
2
OFMC: A symbolic model checker for security protocols.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 3, p. 181, doi. 10.1007/s10207-004-0055-7
- By:
- Publication type:
- Article
3
Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 3, p. 135, doi. 10.1007/s10207-004-0056-6
- By:
- Publication type:
- Article
4
Analyzing SLE 88 memory management security using Interacting State Machines.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 3, p. 155, doi. 10.1007/s10207-004-0057-5
- By:
- Publication type:
- Article
5
Passive-attack analysis for connection-based anonymity systems.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 3, p. 172, doi. 10.1007/s10207-004-0059-3
- By:
- Publication type:
- Article
6
Techniques for improving the security and manageability of IPsec policy.
- Published in:
- International Journal of Information Security, 2005, v. 4, n. 3, p. 209, doi. 10.1007/s10207-004-0064-6
- By:
- Publication type:
- Article