Skip to main content
SpringerLink
Log in
Book cover

Computer Security - ESORICS 2007

12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 - 26, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Joachim Biskup
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Javier López
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: ESORICS 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (40 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Lecture

    1. Trustworthy Services and the Biological Analogy

      • Michael K. Reiter
      Pages 1-1

  3. Security Architecture and Secure Components I

    1. Security of Multithreaded Programs by Compilation

      • Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld
      Pages 2-18

    2. Efficient Proving for Practical Distributed Access-Control Systems

      • Lujo Bauer, Scott Garriss, Michael K. Reiter
      Pages 19-37

    3. Maintaining High Performance Communication Under Least Privilege Using Dynamic Perimeter Control

      • Paul Z. Kolano
      Pages 38-54

  4. Access Control I

    1. Pragmatic XML Access Control Using Off-the-Shelf RDBMS

      • Bo Luo, Dongwon Lee, Peng Liu
      Pages 55-71

    2. Conditional Privacy-Aware Role Based Access Control

      • Qun Ni, Dan Lin, Elisa Bertino, Jorge Lobo
      Pages 72-89

    3. Satisfiability and Resiliency in Workflow Systems

      • Qihua Wang, Ninghui Li
      Pages 90-105

  5. Applied Cryptography I

    1. Completeness of the Authentication Tests

      • Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
      Pages 106-121

    2. SilentKnock: Practical, Provably Undetectable Authentication

      • Eugene Y. Vasserman, Nicholas Hopper, John Laxson, James Tyra
      Pages 122-138

    3. Generalized Key Delegation for Hierarchical Identity-Based Encryption

      • Michel Abdalla, Eike Kiltz, Gregory Neven
      Pages 139-154

    4. Security Management and Secure Electronic Activities

      1. Change-Impact Analysis of Firewall Policies
        • Alex X. Liu
        Pages 155-170
      2. Fragmentation and Encryption to Enforce Privacy in Data Storage
        • Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati
        Pages 171-186
      3. Information Confinement, Privacy, and Security in RFID Systems
        • Roberto Di Pietro, Refik Molva
        Pages 187-202

  6. Formal Methods in Security I

    1. A Logic for State-Modifying Authorization Policies

      • Moritz Y. Becker, Sebastian Nanz
      Pages 203-218

    2. Inductive Proofs of Computational Secrecy

      • Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
      Pages 219-234

    3. What, Indeed, Is Intransitive Noninterference?

      • Ron van der Meyden
      Pages 235-250

    4. Information Control and Access Control

      1. Traceability and Integrity of Execution in Distributed Workflow Management Systems
        • Frederic Montagut, Refik Molva
        Pages 251-266
      2. Dynamic Information Flow Control Architecture for Web Applications
        • Sachiko Yoshihama, Takeo Yoshizawa, Yuji Watanabe, Michiharu Kudoh, Kazuko Oyanagi
        Pages 267-282
      3. Cloak: A Ten-Fold Way for Reliable Covert Communications
        • Xiapu Luo, Edmond W. W. Chan, Rocky K. C. Chang
        Pages 283-298
Back to top

Other volumes

  1. Computer Security – ESORICS 2007

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation