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

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
  • About this book