Integrated simulation testbed for security and resilience of CPS
暂无分享,去创建一个
Gabor Karsai | Xenofon D. Koutsoukos | Péter Völgyesi | Janos Sztipanovits | Himanshu Neema | Bradley Potteiger | G. Karsai | X. Koutsoukos | P. Völgyesi | Himanshu Neema | J. Sztipanovits | Bradley Potteiger
[1] A. Varga,et al. THE OMNET++ DISCRETE EVENT SIMULATION SYSTEM , 2003 .
[2] Gabor Karsai,et al. Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach , 2012, Simul..
[3] T.J. Overbye,et al. SCADA Cyber Security Testbed Development , 2006, 2006 38th North American Power Symposium.
[4] Kevin Fu,et al. Security and Privacy for Implantable Medical Devices , 2008, IEEE Pervasive Comput..
[5] Daniel Krajzewicz,et al. SUMO - Simulation of Urban MObility An Overview , 2011 .
[6] Salim Hariri,et al. A testbed for analyzing security of SCADA control systems (TASSCS) , 2011, ISGT 2011.
[7] Michail Maniatakos,et al. Security and Privacy in Cyber-Physical Systems: A Survey of Surveys , 2017, IEEE Design & Test.
[8] Pieter Hintjens,et al. ZeroMQ: Messaging for Many Applications , 2013 .
[9] Gabor Karsai,et al. Model-Integrated Computing , 1997, Computer.
[10] Gabor Karsai,et al. Toward a Science of Cyber–Physical System Integration , 2012, Proceedings of the IEEE.
[11] IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) — Framework and Rules , 2001 .
[12] Gabor Karsai,et al. Rapid Synthesis of Multi-Model Simulations for Computational Experiments in C2 , 2009 .
[13] Wayne H. Wolf,et al. Cyber-physical Systems , 2009, Computer.
[14] Ned Djilali,et al. GridLAB-D: An Agent-Based Simulation Framework for Smart Grids , 2014, J. Appl. Math..
[15] Lars Michael Kristensen,et al. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.
[16] Srdjan Capkun,et al. The security and privacy of smart vehicles , 2004, IEEE Security & Privacy Magazine.
[17] Miklós Maróti,et al. Online Collaborative Environment for Designing Complex Computational Systems , 2014, ICCS.
[18] T. Kropp. System threats and vulnerabilities [power system protection] , 2006, IEEE Power and Energy Magazine.
[19] Hui Xiong,et al. Enhancing Security and Privacy in Traffic-Monitoring Systems , 2006, IEEE Pervasive Computing.