Reference from ESORICS proceedings

First European Symposium On Research In Computer Security (ESORICS 90)

Using Deducibility in Secure Network Modelling

Brian Thomson

Keywords : security models, deducibility, information flow

Abstract : Information flow promises to provide definitions of confidentiality that are at once intuitive, goal-oriented, and suited to formal analysis, but there remain some problems when these are applied to non-deterministic systems. In this paper, an information flow definition of confidentiality is derived that addresses some of these problems. A low-level security model is then described that is derived from that definition.

(Pages 117-123)

Proceedings table of contents