Computer security - ESORICS 2002 : 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14 16, 2002 : proceedings
ESORICS, the European Symposium on Research in Computer Security, is the leading research-oriented conference on the theory and practice of computer security in Europe. It takes place every two years, at various locations throughout Europe, and is coordinated by an independent Steering Committee. ES...
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
2502 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computer security, ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002, proceedings, Dieter Gollmann, Günter Karjoth, Michael Waidner, (eds.), Berlin, Springer, 2002, 1 vol. (X-279 p.), Lecture notes in computer science, 3-540-44345-2 • Computer Security -- ESORICS 2002, Texte imprimé, 9783662211960 |
Indholdsfortegnelse:
- Computational Probabilistic Non-interference
- Bit-Slice Auction Circuit
- Confidentiality Policies and Their Enforcement for Controlled Query Evaluation
- Cardinality-Based Inference Control in Sum-Only Data Cubes
- Outbound Authentication for Programmable Secure Coprocessors
- Hamming Weight Attacks on Cryptographic Hardware Breaking Masking Defense
- A Fully Compliant Research Implementation of the P3P Standard for Privacy Protection: Experiences and Recommendations
- Authentication for Distributed Web Caches
- Analysing a Stream Authentication Protocol Using Model Checking
- Equal To The Task?
- TINMAN: A Resource Bound Security Checking System for Mobile Code
- Confidentiality-Preserving Refinement is Compositional Sometimes
- Formal Security Analysis with Interacting State Machines
- Decidability of Safety in Graph-Based Models for Access Control
- Inter-Packet Delay Based Correlation for Tracing Encrypted Connections through Stepping Stones
- Learning Fingerprints for a Database Intrusion Detection System.