Notes related to Security policies and security models
Papers related to Security policies and security models
- Noninterference, transitivity, and channel-control security policies [rushby:sri:1992]
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
IEEE
Pages 11-11
1982
Topic(s): security
Note(s): information flow