Author:
Baldan Paolo,Burato Francesco,Carraro Alberto
Publisher
Springer International Publishing
Reference30 articles.
1. Denning, D.E.: A lattice model of secure information flow. Commun. ACM 19(5), 236–243 (1976)
2. Goguen, J.A., Meseguer, J.: Security policies and security models. In: IEEE Symposium on Security and Privacy, pp. 11–20 (1982)
3. Rushby, J.M.: Design and verification of secure systems. In: SOSP 1981, pp. 12–21. ACM (1981)
4. Haigh, J.T., Young, W.D.: Extending the noninterference version of mls for sat. IEEE Trans. Softw. Eng. 13(2), 141–150 (1987)
5. Rushby, J.: Noninterference, transitivity and channel-control security policies. Technical report. Technical report CSL-92-02, SRI International (1992)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献