Author:
Henry Matthew H.,Layer Ryan M.,Zaret David R.
Subject
Information Systems and Management,Computer Science Applications,Safety, Risk, Reliability and Quality,Modelling and Simulation
Reference18 articles.
1. M. Henry, R. Layer, D. Zaret, Evaluating the risk of cyber attacks on SCADA systems via Petri net analysis with application to hazardous liquid loading operations, in: Proceedings of the IEEE International Conference on Technologies for Homeland Security, 2009, pp. 607–614.
2. A. Finkel, The minimal coverability graph for Petri nets, in: Proceedings of the Twelfth International Conference on Applications and Theory of Petri Nets, 1991, pp. 210–243.
3. Parallel program schemata;Karp;Journal of Computer and System Sciences,1969
4. E. Byres, M. Franz, D. Miller, The use of attack trees in assessing vulnerabilities in SCADA systems, in: Presented at the International Infrastructure Survivability Workshop, 2004.
5. A comprehensive network security risk model for process control networks;Henry;Risk Analysis,2009
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献