Computer Security — ESORICS 94: Third European Symposium on Research in Computer Security Brighton, United Kingdom, November 7–9, 1994 Proceedings

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
Designing secure key exchange protocols....Pages 91-105
Robust and secure password and key change method....Pages 107-122
Beacon based authentication....Pages 123-141
Authentication via multi-service tickets in the Kuperee server....Pages 143-160
Oblivious signatures....Pages 161-172
A calculus for secure channel establishment in open networks....Pages 173-192
On strengthening authentication protocols to foil cryptanalysis....Pages 193-204
An efficient electronic payment system protecting privacy....Pages 205-215
The ESPRIT project CAFE —High security digital payment systems....Pages 217-230
Liability and computer security: Nine principles....Pages 231-245
Implementing secure dependencies over a network by designing a distributed security subsystem....Pages 247-266
A secure medium access control protocol: Security versus performances....Pages 267-279
Distributed file system over a multilevel secure architecture problems and solutions....Pages 281-297
On the expressive power of the unary transformation model....Pages 299-318
Privilege graph: An extension to the typed access matrix model....Pages 319-334
A consideration of the modes of operation for secure systems....Pages 335-356
Mark-and-sweep garbage collection in multilevel secure object-oriented database systems....Pages 357-373
Decomposition of multilevel objects in an object-oriented database....Pages 375-402
Supporting object-based high-assurance write-up in multilevel databases for the replicated architecture....Pages 403-428
Aggregation in relational databases: Controlled disclosure of sensitive information....Pages 429-445
Information flow controls vs inference controls: An integrated approach....Pages 447-468