Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control
| Autor: | Andrew Ferraiuolo, Mulong Luo, Joe Corbett-Davies, Andrew C. Myers, Jed Liu, G. Edward Suh, Mark Campbell, Alexander Ivanov |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Provable security
Computer science business.industry Testbed Cyber-physical system 020206 networking & telecommunications 02 engineering and technology Computer security computer.software_genre 020202 computer hardware & architecture Software Software security assurance Safety assurance 0202 electrical engineering electronic engineering information engineering Verifiable secret sharing Information flow (information theory) business computer |
| Zdroj: | CPS-SPC@CCS |
| Popis: | Modern cyber-physical systems are complex networked computing systems that electronically control physical systems. Autonomous road vehicles are an important and increasingly ubiquitous instance. Unfortunately, their increasing complexity often leads to security vulnerabilities. Network connectivity exposes these vulnerable systems to remote software attacks that can result in real-world physical damage, including vehicle crashes and loss of control authority. We introduce an integrated architecture to provide provable security and safety assurance for cyber-physical systems by ensuring that safety-critical operations and control cannot be unintentionally affected by potentially malicious parts of the system. Fine-grained information flow control is used to design both hardware and software, determining how low-integrity information can affect high-integrity control decisions. This security assurance is used to improve end-to-end security across the entire cyber-physical system. We demonstrate this integrated approach by developing a mobile robotic testbed modeling a self-driving system and testing it with a malicious attack. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|