Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays, Proceedings of the First International Symposium on Architecting Critical Systems, pp.161-178, 2010. ,
DOI : 10.1007/978-3-642-13556-9_10
Petri Nets, ACM Computing Surveys, vol.9, issue.3, pp.223-252, 1977. ,
DOI : 10.1145/356698.356702
Petri Net Theory and the Modeling of Systems, 1981. ,
Survivable SCADA Systems: An Analytical Framework Using Performance Modelling, 2010 IEEE Global Telecommunications Conference GLOBECOM 2010, 2010. ,
DOI : 10.1109/GLOCOM.2010.5683323
Mechanisms to provide integrity in SCADA and PCS devices, Proceedings of the International Workshop on Cyber-Physical Systems Challenges and Applications, 2008. ,
Guide to Supervisory Control and Data Acquisition (SCADA) and Industrial Control Systems Security, NIST Special Publication 800-82, National Institute of Standards and Technology, 2006. ,
Cybersecurity: Continued Attention Needed to Protect Our Nation's Critical Infrastructure, 2011. ,