10. ESORICS 2005: Milan, Italy
Sabrina De Capitani di Vimercati, Paul F. Syverson, Dieter Gollmann (Eds.): Computer Security - ESORICS 2005, 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-28963-1- Barbara Simons: Computerized Voting Machines: A View from the Trenches. 1-2
- Mariemma Inmaculada Yagüe del Valle, María-del-Mar Gallardo, Antonio Mana: Semantic Access Control Model: A Formal Specification. 24-43
- Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge: Specification and Validation of Authorisation Constraints Using UML and OCL. 64-79
- David Chaum, Peter Y. A. Ryan, Steve A. Schneider: A Practical Voter-Verifiable Election Scheme. 118-139
- Sabrina Tarento: Machine-Checked Security Proofs of Cryptographic Signature Schemes. 140-158
- Michael Backes, Birgit Pfitzmann: Limits of the Cryptographic Realization of Dolev-Yao-Style XOR. 178-196
- Aslan Askarov, Andrei Sabelfeld: Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study. 197-221
- Huafei Zhu, Feng Bao: Augmented Oblivious Polynomial Evaluation Protocol and Its Applications. 222-230
- Indrajit Ray, Nayot Poolsapassit: Using Attack Trees to Identify Malicious Attacks from Authorized Insiders. 231-246
- Lingyu Wang, Anyi Liu, Sushil Jajodia: An Efficient and Unified Approach to Correlating, Hypothesizing, and Predicting Intrusion Alerts. 247-266
- Giovanni Di Crescenzo, Abhrajit Ghosh, Rajesh Talpade: Towards a Theory of Intrusion Detection. 267-286
- João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus: On Scalability and Modularisation in the Modelling of Network Security Systems. 287-304
- George Danezis, Chris Lesniewski-Laas, M. Frans Kaashoek, Ross J. Anderson: Sybil-Resistant DHT Routing. 305-318
- Felix C. Freiling, Thorsten Holz, Georg Wicherski: Botnet Tracking: Exploring a Root-Cause Methodology to Prevent Distributed Denial-of-Service Attacks. 319-335
- Michael Backes: Quantifying Probabilistic Information Flow in Computational Reactive Systems. 336-354
- Jay Ligatti, Lujo Bauer, David Walker: Enforcing Non-safety Security Policies with Program Monitors. 355-373
- Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov: Soundness of Formal Encryption in the Presence of Key-Cycles. 374-396
- Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Abstractions Preserving Parameter Confidentiality. 418-437
- Fabio Massacci, John Mylopoulos, Nicola Zannone: Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation. 438-454
- Kristian Gjøsteen: Security Notions for Disk Encryption. 455-474
- Marcin Gogolewski, Marek Klonowski, Miroslaw Kutylowski: Local View Attack on Anonymous Communication. 475-488
- Thomas Groß, Birgit Pfitzmann, Ahmad-Reza Sadeghi: Browser Model for Security Analysis of Browser-Based Protocols. 489-508
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team