Computer Security — ESORICS 94

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 53 Valuation of trust in open networks
3. Altmetric Badge
   Chapter 54 Security versus performance requirements in data communication systems
4. Altmetric Badge
   Chapter 55 Non-interference through determinism
5. Altmetric Badge
   Chapter 56 Compile-time detection of information flow in sequential programs
6. Altmetric Badge
   Chapter 57 Security through type analysis
7. Altmetric Badge
   Chapter 58 Designing secure key exchange protocols
8. Altmetric Badge
   Chapter 59 Robust and secure password and key change method
9. Altmetric Badge
   Chapter 60 Beacon based authentication
10. Altmetric Badge
    Chapter 61 Authentication via multi-service tickets in the Kuperee server
11. Altmetric Badge
    Chapter 62 Oblivious signatures
12. Altmetric Badge
    Chapter 63 A calculus for secure channel establishment in open networks
13. Altmetric Badge
    Chapter 64 On strengthening authentication protocols to foil cryptanalysis
14. Altmetric Badge
    Chapter 65 An efficient electronic payment system protecting privacy
15. Altmetric Badge
    Chapter 66 The ESPRIT project CAFE —High security digital payment systems
16. Altmetric Badge
    Chapter 67 Computer Security — ESORICS 94
17. Altmetric Badge
    Chapter 68 Implementing secure dependencies over a network by designing a distributed security subsystem
18. Altmetric Badge
    Chapter 69 A secure medium access control protocol: Security versus performances
19. Altmetric Badge
    Chapter 70 Distributed file system over a multilevel secure architecture problems and solutions
20. Altmetric Badge
    Chapter 71 On the expressive power of the unary transformation model
21. Altmetric Badge
    Chapter 72 Privilege graph: An extension to the typed access matrix model
22. Altmetric Badge
    Chapter 73 A consideration of the modes of operation for secure systems
23. Altmetric Badge
    Chapter 74 Mark-and-sweep garbage collection in multilevel secure object-oriented database systems
24. Altmetric Badge
    Chapter 75 Decomposition of multilevel objects in an object-oriented database
25. Altmetric Badge
    Chapter 76 Supporting object-based high-assurance write-up in multilevel databases for the replicated architecture
26. Altmetric Badge
    Chapter 77 Aggregation in relational databases: Controlled disclosure of sensitive information
27. Altmetric Badge
    Chapter 78 Information flow controls vs inference controls: An integrated approach