Subject
Computational Mathematics,Computer Science Applications,General Engineering
Reference11 articles.
1. Gamage T.T. and McMillin B.M., Observing for Changes: Non-Deducibility Based Analysis of Cyber-Physical Systems. In Proceedings of the 3rd International Federation for Information Processing Conference (IFIP WG 11.10). Hanover, NH: Springer Boston, April 2009, pp. 169-183.
2. Goguen J.A. and Meseguer J., Security policies and security models. Proc. 1982 IEEE Symposium on Security and Privacy, IEEE Press, 1982, pp. 11-20.
3. Goguen J.A. and Meseguer J., Inference control and unwinding. Proc. 1984 IEEE Symposium on Security and Privacy, IEEE Press, 1984, pp. 75-86.
4. Analysis of information flow security in cyber-physical system;Akella;International Journal of Critical Infrastructure Protection,2010
5. Petri Net Security Checker: Structural Non-interference at Work
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Cyber Physical System (CPS)-Based Industry 4.0: A Survey;Journal of Industrial Integration and Management;2017-09