Advertisement

Computer Security – ESORICS 2006

11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006. Proceedings

  • Dieter Gollmann
  • Jan Meier
  • Andrei Sabelfeld
Conference proceedings ESORICS 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4189)

Table of contents

  1. Front Matter
    PDF
  2. Finding Peer-to-Peer File-Sharing Using Coarse Network Behaviors
    Michael P. Collins, Michael K. Reiter
    Pages 1-17
  3. Timing Analysis in Low-Latency Mix Networks: Attacks and Defenses
    Vitaly Shmatikov, Ming-Hsiu Wang
    Pages 18-33
  4. TrustedPals: Secure Multiparty Computation Implemented with Smart Cards
    Milan Fort, Felix Freiling, Lucia Draque Penso, Zinaida Benenson, Dogan Kesdogan
    Pages 34-48
  5. Private Information Retrieval Using Trusted Hardware
    Shuhong Wang, Xuhua Ding, Robert H. Deng, Feng Bao
    Pages 49-64
  6. Bridging the Gap Between Inter-communication Boundary and Internal Trusted Components
    Yuji Watanabe, Sachiko Yoshihama, Takuya Mishina, Michiharu Kudo, Hiroshi Maruyama
    Pages 65-80
  7. License Transfer in OMA-DRM
    Cheun Ngen Chong, Sorin Iacob, Paul Koster, Javier Montaner, René van Buuren
    Pages 81-96
  8. Enhanced Security Architecture for Music Distribution on Mobile
    Abdellatif Benjelloun Touimi, Jean-Bernard Fischer, Caroline Fontaine, Christophe Giraud, Michel Milhau
    Pages 97-109
  9. A Formal Model of Access Control for Mobile Interactive Devices
    Frédéric Besson, Guillaume Dufay, Thomas Jensen
    Pages 110-126
  10. Discretionary Capability Confinement
    Philip W. L. Fong
    Pages 127-144
  11. Minimal Threshold Closure
    Xi-Bin Zhao, Kwok-Yan Lam, Guimin Luo, Siu-Leung Chung, Ming Gu
    Pages 145-155
  12. Reducing the Dependence of SPKI/SDSI on PKI
    Hao Wang, Somesh Jha, Thomas Reps, Stefan Schwoon, Stuart Stubblebine
    Pages 156-173
  13. Delegation in Role-Based Access Control
    Jason Crampton, Hemanth Khambhammettu
    Pages 174-191
  14. Applying a Security Requirements Engineering Process
    Daniel Mellado, Eduardo Fernández-Medina, Mario Piattini
    Pages 192-206
  15. Modeling and Evaluating the Survivability of an Intrusion Tolerant Database System
    Hai Wang, Peng Liu
    Pages 207-224
  16. A Formal Framework for Confidentiality-Preserving Refinement
    Thomas Santen
    Pages 225-242
  17. Timing-Sensitive Information Flow Analysis for Synchronous Systems
    Boris Köpf, David Basin
    Pages 243-262
  18. HBAC: A Model for History-Based Access Control and Its Model Checking
    Jing Wang, Yoshiaki Takata, Hiroyuki Seki
    Pages 263-278
  19. From Coupling Relations to Mated Invariants for Checking Information Flow
    David A. Naumann
    Pages 279-296
  20. A Linear Logic of Authorization and Knowledge
    Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter
    Pages 297-312
  21. Prêt à Voter with Re-encryption Mixes
    P Y A Ryan, S A Schneider
    Pages 313-326
  22. Secure Key-Updating for Lazy Revocation
    Michael Backes, Christian Cachin, Alina Oprea
    Pages 327-346
  23. Key Derivation Algorithms for Monotone Access Structures in Cryptographic File Systems
    Mudhakar Srivatsa, Ling Liu
    Pages 347-361
  24. Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos
    M. Backes, I. Cervesato, A. D. Jaggard, A. Scedrov, J. -K. Tsay
    Pages 362-383
  25. Deriving Secrecy in Key Establishment Protocols
    Dusko Pavlovic, Catherine Meadows
    Pages 384-403
  26. Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes
    Michael Backes, Birgit Pfitzmann, Michael Waidner
    Pages 404-423
  27. Conditional Reactive Simulatability
    Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters
    Pages 424-443
  28. SessionSafe: Implementing XSS Immune Session Handling
    Martin Johns
    Pages 444-460
  29. Policy-Driven Memory Protection for Reconfigurable Hardware
    Ted Huffmire, Shreyas Prasad, Tim Sherwood, Ryan Kastner
    Pages 461-478
  30. Privacy-Preserving Queries on Encrypted Data
    Zhiqiang Yang, Sheng Zhong, Rebecca N. Wright
    Pages 479-495
  31. Analysis of Policy Anomalies on Distributed Network Security Setups
    J. G. Alfaro, F. Cuppens, N. Cuppens-Boulahia
    Pages 496-511
  32. Assessment of a Vulnerability in Iterative Servers Enabling Low-Rate DoS Attacks
    Gabriel Maciá-Fernández, Jesús E. Díaz-Verdejo, Pedro García-Teodoro
    Pages 512-526
  33. Towards an Information-Theoretic Framework for Analyzing Intrusion Detection Systems
    Guofei Gu, Prahlad Fogla, David Dagon, Wenke Lee, Boris Skoric
    Pages 527-546
  34. Back Matter
    PDF

About these proceedings

Keywords

DRM Hardware PKI access control algorithms calculus computer security database denial-of-service attacks digital signatures internet security intrusion detection logic modeling secure communications

Editors and affiliations

  • Dieter Gollmann
    • 1
  • Jan Meier
    • 2
  • Andrei Sabelfeld
    • 3
  1. 1.Institute for Security in Distributed ApplicationsHamburg University of TechnologyHamburgGermany
  2. 2.TU Hamburg-HarburgHamburg-HarburgGermany
  3. 3.Department of Computer Science and EngineeringChalmers University of TechnologyGöteborgSweden

Bibliographic information

  • DOI https://doi.org/10.1007/11863908
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-44601-9
  • Online ISBN 978-3-540-44605-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site