Toggle Main Menu Toggle Search

Open Access padlockePrints

A CSP formulation of non-interference and unwinding

Lookup NU author(s): Professor Peter Ryan


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Ryan P

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 3rd IEEE Computer Security Foundations Workshop (CSFW)

Year of Conference: 1991

Publisher: IEEE Computer Society Technical Committee on Security and Privacy

Series Title: Cipher - Newsletter of the IEEE Technical Committee on Security & Privacy