Papers on Formal Analysis, Security and Reliability, Cyber-Physical System Design, Operation, and Control

Formal Approaches: Security and Reliability Analysis

  • Confidentiality Preserving Security Properties for Cyber-Physical Systems , Thoshitha Gamage, Tom Roth, and Bruce McMillin, Proceedings of the 2011 Computers, Software, and Applications Conference, Munich, July 2011.

  •  Verification and Protection of Confidentiality in an Advanced Smart Grid, Ravi Akella and Bruce McMillin, 45th Hawaii International Conference on System Sciences, Maui, HI, January 2012.

  •  Information Flow Security in Cyber-Physical Systems, Thoshitha Gamaga, Ravi Akella, Tom Roth, and Bruce McMillin,  Proceedings of the 7th Annual Cyber Security and Information Intelligence Research Workshop (to appear), Oak Ridge National Laboratory, TN, 2011.

  • Analysis of Information Flow Security in Cyber-Physical Systems, Ravi Akella, Han Tang, Bruce M. McMillin, International Journal of Critical Infrastructure Protection, Elsevier, Vol 3-4, pp. 157-173, Dec, 2010.                                                                                                                                                                                                                                                                                                                                                                     
  • Information Flow Analysis of Energy Management in a Smart Grid ,   Ravi Akella and Bruce McMillin, The 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP '10), Vienna, Austria, (technical report version at http://filpower.mst.edu/documents/Akella-DGI_Security.pdf), pp. 263-276                                                                                                                                                             
  • Reliability Modeling of the Power Grid Ayman Z. Faza, Sahra Sedigh, and Bruce M. McMillin, Proceedings of SAFECOMP 2007 26th International Conference on Computer Safety, Reliability and Security, 18 - 21 September 2007, Nuremberg, Germany.

Hardware/Software Co-Design and Co-Analysis


Integrated Cyber-Physical Power System Design, Operation, and Control

  • Power Transmission Control Using Max-Flow , Austin Armbruster, Mike Gosnell, Bruce McMillin, amd Mariesa Crow, 29th Annual International Computers Software and Applications Conference, pp.256-263 Vol. 2, 28-28 July 2005