Author:
Bryans Jeremy W.,Koutny Maciej,Ryan Peter Y.A.
Subject
General Computer Science,Theoretical Computer Science
Reference12 articles.
1. Busi, N., and R. Gorrieri, Structural Non-interference with Petri Nets, Proc. of WITS, 2004, 27-42
2. Cohen, E., Information Transmission in Computational Systems, Proc. of ACM Symposiu on Operating System Principles, 1997, 133-139
3. Feiertag, R.J., A Technique for Proving Specifications are Multi-level Secure, SRI International, Techical Report, 1980
4. Mazaré, L., Using Unification for Opacity Properties, Proc. of WITS, 2004, 165-176
5. Goguen, J.A., and J. Meseguer, Security Policies and Security Models, Proc. of IEEE Symposium on Security and Privacy, 1982, 1-10
Cited by
117 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献