Computer Security - ESORICS 94
Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7 - 9, 1994. Proceedings
Editors: Gollmann, Dieter (Ed.)
Free PreviewBuy this book
- 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.
- Table of contents (26 chapters)
-
-
Valuation of trust in open networks
Pages 1-18
-
Security versus performance requirements in data communication systems
Pages 19-30
-
Non-interference through determinism
Pages 31-53
-
Compile-time detection of information flow in sequential programs
Pages 55-73
-
Security through type analysis
Pages 75-89
-
Table of contents (26 chapters)
Recommended for you
Bibliographic Information
- 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
- Series Volume
- 875
- Copyright
- 1994
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-49034-0
- DOI
- 10.1007/3-540-58618-0
- Softcover ISBN
- 978-3-540-58618-0
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- XIV, 474
- Topics
