Loading...
Ariadne: Topology aware adaptive security for cyber-physical systems
Date
2015
Abstract
This paper presents Ariadne, a tool for engineering topology aware adaptive security for cyber-physical systems. It allows security software engineers to model security requirements together with the topology of the operational environment. This model is then used at runtime to perform speculative threat analysis to reason about the consequences that topological changes arising from the movement of agents and assets can have on the satisfaction of security requirements. Our tool also identifies an adaptation strategy that applies security controls when necessary to prevent potential security requirements violations.
Supervisor
Description
peer-reviewed
Publisher
IEEE Computer Society
Citation
2015 IEEE/ACM 37th IEEE International Conference on Software Engineerin;pp. 729-732
Files
ULRR Identifiers
Funding code
Funding Information
Science Foundation Ireland (SFI), European Research Council (ERC)