Noninterference, transitivity and channel-control security policies (1992)

by John Rushby
Citations:110 - 0 self