What is intransitive noninterference?

Proceedings of the 12th IEEE Computer Security Foundations Workshop ◽

10.1109/csfw.1999.779776 ◽

2003 ◽

Author(s):

A.W. Roscoe ◽

M.H. Goldsmith

Download Full-text