Verifying cyber attack properties
| Autor: | Colin O'Halloran, Tom Gibson Robinson, Neil A. Brock |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Government
Computer science business.industry Cyber-physical system 020207 software engineering 02 engineering and technology Top-down and bottom-up design Computer security computer.software_genre System requirements Work (electrical) 020204 information systems 0202 electrical engineering electronic engineering information engineering Cyber-attack Internet of Things business computer Software |
| Zdroj: | Science of Computer Programming. 148:3-25 |
| ISSN: | 0167-6423 |
| Popis: | The heterogeneous, evolving and distributed nature of Cyber-Physical Systems (CPS) means that there is little chance of performing a top down development or anticipating all critical requirements such devices will need to satisfy individually and collectively. This paper describes an approach to verifying system requirements, when they become known, by performing an automated refinement check of its composed components abstracted from the actual implementation. This work was sponsored by the Charles Stark Draper Laboratories under the DARPA HACMS project. The views, opinions, and/or findings expressed are those of the authors and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect