Author:
Woizekowski Oliver,van der Meyden Ron
Publisher
Springer International Publishing
Reference23 articles.
1. Haigh, J.T., Young, W.D.: Extending the noninterference version of MLS for SAT. IEEE Trans. Softw. Eng. 13(2), 141 (1987)
2. Rushby, J.: Noninterference, transitivity, and channel-control security policies. Technical report, SRI international, December 1992
3. van der Meyden, R.: What, indeed, is intransitive noninterference? J. Comput. Secur. 23(2), 197–228 (2015). Extended version of a paper in ESORICS 2007. http://dx.doi.org/10.3233/JCS-140516
4. Goguen, J.A., Meseguer, J.: Security policies and security models. In: 1982 IEEE Symposium on Security and Privacy, Oakland, CA, USA, 26–28 April, pp. 11–20 (1982)
5. Sutherland, D.: A model of information. In: Proceedings of the 9th National Computer Security Conference, DTIC Document, pp. 175–183 (1986)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献