Security policies and security models

Joseph A. Goguen, José Meseguer
[doi] [Google Scholar] [DBLP] [Citeseer]

1982 IEEE Symposium on Security and Privacy
IEEE
Pages 11-11
1982
Topic(s): security
Note(s): information flow

Non-interference

  • Noninterference, transitivity, and channel-control security policies [rushby:sri:1992]