Skip to main content
SpringerLink
Log in
Book cover

Computer Security - ESORICS 94

Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7 - 9, 1994. Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Dieter Gollmann
    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 875)

Included in the following conference series:

Conference proceedings info: ESORICS 1994.

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

Access this book

Log in via an institution
Softcover Book USD 54.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 (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Valuation of trust in open networks

    • Thomas Beth, Malte Borcherding, Birgit Klein
    Pages 1-18

  3. Security versus performance requirements in data communication systems

    • Vasilios Zorkadis
    Pages 19-30

  4. Non-interference through determinism

    • A. W. Roscoe, J. C. P. Woodcock, L. Wulf
    Pages 31-53

  5. Compile-time detection of information flow in sequential programs

    • Jean-Pierre Banâtre, Ciarán Bryce, Daniel Le Métayer
    Pages 55-73

  6. Security through type analysis

    • C. O'Halloran, C. T. Sennett
    Pages 75-89

  7. Designing secure key exchange protocols

    • Colin Boyd, Wenbo Mao
    Pages 91-105

  8. Robust and secure password and key change method

    • Ralf Hauser, Philippe Janson, Refik Molva, Gene Tsudik, Els Van Herreweghen
    Pages 107-122

  9. Beacon based authentication

    • Azad Jiwa, Jennifer Seberry, Yuliang Zheng
    Pages 123-141

  10. Authentication via multi-service tickets in the Kuperee server

    • Thomas Hardjono, Jennifer Seberry
    Pages 143-160

  11. Oblivious signatures

    • Lidong Chen
    Pages 161-172

  12. A calculus for secure channel establishment in open networks

    • Ueli M. Maurer, Pierre E. Schmid
    Pages 173-192

  13. On strengthening authentication protocols to foil cryptanalysis

    • Wenbo Mao, Colin Boyd
    Pages 193-204

  14. An efficient electronic payment system protecting privacy

    • Jan L. Camenisch, Jean-Marc Piveteau, Markus A. Stadler
    Pages 205-215

  15. The ESPRIT project CAFE —High security digital payment systems

    • Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller et al.
    Pages 217-230

  16. Liability and computer security: Nine principles

    • Ross J. Anderson
    Pages 231-245

  17. Implementing secure dependencies over a network by designing a distributed security subsystem

    • Bruno d'Ausbourg
    Pages 247-266

  18. A secure medium access control protocol: Security versus performances

    • Pierre Siron, Bruno d'Ausbourg
    Pages 267-279

  19. Distributed file system over a multilevel secure architecture problems and solutions

    • Christel Calas
    Pages 281-297

  20. On the expressive power of the unary transformation model

    • Ravi S. Sandhu, Srinivas Ganta
    Pages 299-318
Back to top

Other volumes

  1. Computer Security — ESORICS 94

Keywords

About this book

This volume constitutes the proceedings of the Third European Symposium on Research in Computer Security, held in Brighton, UK in November 1994.
The 26 papers presented in the book in revised versions were carefully selected from a total of 79 submissions; they cover many current aspects of computer security research and advanced applications. The papers are grouped in sections on high security assurance software, key management, authentication, digital payment, distributed systems, access control, databases, and measures.

Bibliographic Information

  • Book Title: Computer Security - ESORICS 94

  • Book Subtitle: Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7 - 9, 1994. Proceedings

  • Editors: Dieter Gollmann

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-58618-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1994

  • Softcover ISBN: 978-3-540-58618-0Published: 19 October 1994

  • eBook ISBN: 978-3-540-49034-0Published: 01 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 474

  • Topics: Cryptology, Operating Systems, Computer Communication Networks, Database Management

Publish with us

Policies and ethics

Back to top

Search

Navigation