Institutions | About Us | Help | Gaeilge
rian logo


Mark
Go Back
Ariadne: Topology aware adaptive security for cyber-physical systems
Tsigkanos, Christos; Pasquale, Liliana; Ghezzi, Carlo; Nuseibeh, Bashar
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.
Keyword(s): security; topology; servers; adaptation models; runtime; mobile handsets
Publication Date:
2015
Type: Conference item
Peer-Reviewed: Yes
Language(s): English
Institution: University of Limerick
Funder(s): Science Foundation Ireland
Citation(s): ASAP
2015 IEEE/ACM 37th IEEE International Conference on Software Engineerin;pp. 729-732
http://dx.doi.org/10.1109/ICSE.2015.234
10/CE/I1855
13/RC/2094
Publisher(s): IEEE Computer Society
First Indexed: 2018-07-18 06:26:31 Last Updated: 2018-12-20 06:26:39