Securing system controllers in critical infrastructures
暂无分享,去创建一个
[1] Alexandre M. Bayen,et al. Robust feasibility for control of water flow in a reservoir-canal system , 2007, 2007 46th IEEE Conference on Decision and Control.
[2] S. Shankar Sastry,et al. Secure Control: Towards Survivable Cyber-Physical Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.
[3] Mahalingam Ramkumar,et al. Minimizing the TCB for securing SCADA systems , 2011, CSIIRW '11.
[4] Yilin Mo,et al. False Data Injection Attacks in Control Systems , 2010 .
[5] Emanuele Garone,et al. False Data Injection Attacks for State Estimation in Cyber-Physical Systems , 2010, CDC 2010.
[6] Shing-Chi Cheung,et al. Checking safety properties using compositional reachability analysis , 1999, TSEM.
[7] S. Shankar Sastry,et al. Safe and Secure Networked Control Systems under Denial-of-Service Attacks , 2009, HSCC.
[8] Roger R. Schell,et al. Using a high assurance TCB for infrastructure security , 2011, CSIIRW '11.
[9] Howard Barringer,et al. Assumption generation for software component verification , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
[10] Brian Falkenhainer,et al. Setting up Large-Scale Qualitative Models , 1988, AAAI.
[11] Dimitra Giannakopoulou,et al. The Tracta Approach for Behaviour Analysis of Concurrent Systems , 1995 .
[12] B. Lampson,et al. Authentication in distributed systems: theory and practice , 1991, TOCS.