What is intransitive noninterference? (1999)

by A W Roscoe, M H Goldsmith
Venue:In 12th IEEE Computer Security Foundations Workshop,