A Method for Revealing and Addressing Security Vulnerabilities in Cyber-physical Systems by Modeling Malicious Agent Interactions with Formal Verification-Reference-Cited by-同舟云学术

A Method for Revealing and Addressing Security Vulnerabilities in Cyber-physical Systems by Modeling Malicious Agent Interactions with Formal Verification

Published:2016 Issue: Volume:95 Page:24-31
ISSN:1877-0509
Container-title:Procedia Computer Science
language:en
Short-container-title:Procedia Computer Science

Author:

Wardell Dean C.,Mills Robert F.,Peterson Gilbert L.,Oxley Mark E.

Publisher

Elsevier BV

Subject

General Engineering

Reference28 articles.

1. Zetter, Kim, A Cyberattack Has Caused Confirmed Physical Damage for the Second Time Ever, Wired Online, 8 January 2015. http://www.wired.com/2015/01/german-steel-mill-hack-destruction.

2. Baybutt, P., An Asset-Based Approach for Industrial Cyber Security Vulnerability Analysis, Process Safety Progress, Vol. 22, No. 4, pages 220-292, 2003.

3. Sarwate, A., 2015 Industrial Control System Vulnerability Trends, Presentation at RSA Conference 2015, Session SEC-F04, July 2015.

4. Sparks, S., Embleton, S., Cunningham, R. and Zou, C., Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting, Proceedings of the IEEE 23rd Annual Computer Security Applications Conference, pages 477-486, 2007.

5. Kimball, W., A Formal Approach to Vulnerability Discovery in Binary Programs, PhD Dissertation, Air Force Institute of Technology, 2013. AFIT -ENG-DS-13-J-03.

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Unveiling stealthy man-in-the-middle cyber-attacks on energy performance in grid-interactive smart buildings;Energy Conversion and Management;2024-11

2. Emulation and detection of physical faults and cyber-attacks on building energy systems through real-time hardware-in-the-loop experiments;Energy and Buildings;2024-10

3. A hardware-in-the-loop (HIL) testbed for cyber-physical energy systems in smart commercial buildings;Science and Technology for the Built Environment;2024-04-15

4. Research and Practice on Network Security Vulnerability Management Methods in the Transportation Industry;Proceedings of the 2023 International Conference on Artificial Intelligence, Systems and Network Security;2023-12-22

5. An Event-B Formal Model of a Traffic Light System In Sunway Smart City;2023 IEEE International Conference on Automatic Control and Intelligent Systems (I2CACIS);2023-06-17