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)