Noninterference, Transitivity, and Channel-Control Security Policies 1

By J. Rushby. 2005

331 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/3725e79119ec188e35f755e55dc9e0e366ac4634