Confidentiality preserving security properties for cyber-physical systems

Proceedings - International Computer Software and Applications Conference

Volumn , Issue , 2011, Pages 28-37

  Gamage, Thoshitha T ^a   Roth, Thomas P ^a   McMillin, Bruce M ^a  

^a University of Missouri Rolla   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUILDING BLOCKES; BUS NETWORKS; CYBER-PHYSICAL SYSTEMS; FUNDAMENTAL THEORY; INFORMATION FLOW SECURITY; PHYSICAL DOMAIN; REGULAR NETWORKS; SECURITY PROPERTIES; SIMULATION-BASED; TIGHT COUPLING;

COMPUTER SIMULATION; EMBEDDED SYSTEMS; OBSERVABILITY;

SECURITY OF DATA;

EID: 80054997216     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2011.13     Document Type: Conference Paper

References (22)

1. N. Falliere, L. O. Murchu, and E. Chien, "W32. Stuxnet Dossier," Symantec Security, November 2010, last accessed 01-20-11. [Online]. Available: http://www.symantec.com/content/en/us/enterprise/media/ security-response/whitepapers/w32-stuxnet-dossier.pdf
2. "Final Report on the August 14th Blackout in the United States and Canada," Power System Outage Task Force U.S. and Canada, 2004, last accessed 01-31-11. [Online]. Available: https://reports.energy.gov/ BlackoutFinal-Web.pdf
3. S. M. Bellovin and D. G. Conway, "Security as a Systems Property," IEEE Security and Privacy, vol. 7, no. 5, p. 88, 2009.
4. A. Sabelfeld and A. Myers, "Language-Based Information-Flow Security," IEEE Journal on Selected Areas in Communications, vol. 21, no. 1, pp. 5-19, Jan 2003.
5. J. Goguen and J. Meseguer, "Security Policies and Security Models," in Proceedings of the 1982 IEEE Symposium on Security and Privacy, 1982.
6. C. O'Halloran, "A Calculus of Information Flow," in Proceedings of the European Symposium on Research in Computer Security, Toulouse, France, 1990.
7. D. Sutherland, "A Model of Information," in Proceeding of the 9th National Computer Security Conference, Baltimore, MD, September 1986, pp. 175-183.
8. F. B. Schneider, "Enforceable Security Policies," ACM Transactions on Information and System Security TISSEC, vol. 3, no. 1, pp. 30-50, 2000.
9. J. McLean, "A General Theory of Composition for a Class of "Possibilistic" Properties," IEEE Transactions on Software Engineering, vol. 22, no. 1, pp. 53-67, 1996. (Pubitemid 126771658)
10. J. Ligatti, L. Bauer, and D. Walker, "Edit Automata: Enforcement Mechanisms for Run-time Security Policies," International Journal of Information Security, vol. 4, no. 1-2, pp. 2-16, Feb 2005. (Pubitemid 40347198)
11. J. Ligatti and S. Reddy, "A theory of runtime enforcement, with results," in Proceedings of the European Symposium on Research in Computer Security (ESORICS), Sep. 2010.
12. N. Nagatou and T. Watanabe, "Run-Time Detection of Covert Channels," in ARES '06: Proceedings of the First International Conference on Availability, Reliability and Security, 2006, pp. 577-584. (Pubitemid 44732694)
13. T. Amtoft and A. Banerjee, "A Logic for Information Flow Analysis with an Application to Forward Slicing of Simple Imperative Programs," Science of Computer Programming, vol. 64, no. 1, pp. 3-28, 2007, special issue on the 11th Static Analysis Symposium - SAS 2004. (Pubitemid 44765091)
14. K. W. Hamlen, G. Morrisett, and F. B. Schneider, "Computability Classes for Enforcement Mechanisms," ACM Trans. Program. Lang. Syst., vol. 28, no. 1, pp. 175-205, 2006. (Pubitemid 43943421)
15. B. Alpern and F. B. Schneider, "Defining Liveness," Cornell University, Ithaca, NY, USA, Tech. Rep., 1984.
16. R. Akella, F. Meng, D. Ditch, B. McMillin, and M. Crow, "Distributed Power Balancing for the FREEDM System," in First IEEE International Conference on Smart Grid Communications (SmartGrid-Comm), 2010, October 2010, pp. 7-12.
17. A. Armbruster, M. Gosnell, B. McMillin, and M. L. Crow, "Power Transmission Control Using Distributed Max-Flow," in 29th Annual International Computer Software and Applications Conference (COMPSAC), 2005, vol. 2. Edinburgh, Scotland: IEEE Computer Society, July 2005, pp. 256-263. (Pubitemid 46744886)
18. B. Schneier, "Stuxnet," Schneider on Security, October 2010, last accessed 01-20-11. [Online]. Available: http://www.schneier.com/blog/ archives/2010/10/stuxnet.html
19. T. T. Gamage, B. M. McMillin, and T. P. Roth, "Enforcing Information Flow Security Properties in Cyber-Physical Systems: A Generalized Framework Based on Compensation," in IEEE 34th Annual Computer Software and Applications Conference Workshops (COMPSACW), 2010, July 2010, pp. 158-163.
20. T. T. Gamage and B. M. McMillin, "EM Enforcing Information Flow Properties using Compensating Events," in Proceedings of the 42nd Hawaii International Conference on Systems Science (HICSS-42 2009). IEEE Computer Society, January 2009, pp. 1-7.
21. A. Lininger, B. McMillin, M. Crow, and B. Chowdhury, "Use of Max-Flow on FACTS Devices," in 39th North American Power Symposium, (NAPS) 2007, October 2007, pp. 288-294.
22. J. Chaloupek, D. R. Tauritz, B. M. McMillin, and M. L. Crow, "Evolutionary Optimization of Flexible AC Transmission System Device Placement for Increasing Power Grid Reliability," in Proceedings of the 6th International Workshop on Frontiers in Evolutionary Algorithms (FEA), 2005, Salt Lake City, Utah, July 2005, pp. 516-519.