IEEE - Institute of Electrical and Electronics Engineers, Inc. - Action systems for security specification

Proceedings 9th IEEE Computer Security Foundations Workshop

Author(s): Sinclair, J.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Kenmare, Ireland, Ireland
Conference Date: 10 June 1996
Page(s): 102 - 113
ISBN (Paper): 0-8186-7522-5
ISSN (Paper): 1063-6900
DOI: 10.1109/CSFW.1996.503695
Regular:

To be generally useful a theory must be both intellectually sound and practically applicable. We consider the noninterference approach to security specification, focusing in particular on Roscoe's... View More

Advertisement