Computer security ESORICS 2003 : 8th European symposium on research in computer security, Gjovik, Norway, october 13-15, 2003 : proceedings
ESORICS, the European Symposium On Research In Computer Security, is the leading research-oriented conference on the theory and practice of computer - curity in Europe. The aim of ESORICS is to further the progress of research in computer security by establishing a European forum for bringing togeth...
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science
2808 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 2003, 8th European symposium on research in computer security, Gjovik, Norway, october 13-15, 2003, proceedings, ed.by Einar Snekkenes, Dieter Gollmann, Berlin, Springer, 2003, 1 vol. (X-343 p.), Lecture notes in computer science, 3-540-20300-1 • Computer Security - ESORICS 2003, Texte imprimé, 9783662196298 |
Sumário:
- Signature and Access Control Policies for XML Documents
- Authorization and Access Control in Adaptive Workflows
- Flexible Regulation of Distributed Coalitions
- Initiator-Resilient Universally Composable Key Exchange
- Multi-round Secure Light-Weight Broadcast Exclusion Protocol with Pre-processing
- Precisely Answering Multi-dimensional Range Queries without Privacy Breaches
- Passive Attack Analysis for Connection-Based Anonymity Systems
- Rapid Mixing and Security of Chaum s Visual Electronic Voting
- Towards Accountable Management of Privacy and Identity Information
- A Toolkit for Managing Enterprise Privacy Policies
- Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card
- Hardware Encapsulation of Security Services
- A Formal Security Model of the Infineon SLE 88 Smart Card Memory Management
- Bridging Model-Based and Language-Based Security
- An On-the-Fly Model-Checker for Security Protocol Analysis
- Symmetric Authentication withina Simulatable Cryptographic Library
- An Improved Reference Flow Control Model for Policy-Based Intrusion Detection
- Visualisation for Intrusion Detection
- On the Detection of Anomalous System Call Arguments.