dc.contributor.author | Tsigkanos, Christos | |
dc.contributor.author | Pasquale, Liliana | |
dc.contributor.author | Ghezzi, Carlo | |
dc.contributor.author | Nuseibeh, Bashar | |
dc.date.accessioned | 2018-07-16T11:46:45Z | |
dc.date.available | 2018-07-16T11:46:45Z | |
dc.date.issued | 2015 | |
dc.identifier.uri | http://hdl.handle.net/10344/6964 | |
dc.description | peer-reviewed | en_US |
dc.description.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. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | IEEE Computer Society | en_US |
dc.relation | ASAP | en_US |
dc.relation.ispartofseries | 2015 IEEE/ACM 37th IEEE International Conference on Software Engineerin;pp. 729-732 | |
dc.relation.uri | http://dx.doi.org/10.1109/ICSE.2015.234 | |
dc.rights | © 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | en_US |
dc.subject | security | en_US |
dc.subject | topology | en_US |
dc.subject | servers | en_US |
dc.subject | adaptation models | en_US |
dc.subject | runtime | en_US |
dc.subject | mobile handsets | en_US |
dc.title | Ariadne: Topology aware adaptive security for cyber-physical systems | en_US |
dc.type | info:eu-repo/semantics/conferenceObject | en_US |
dc.type.supercollection | all_ul_research | en_US |
dc.type.supercollection | ul_published_reviewed | en_US |
dc.identifier.doi | 10.1109/ICSE.2015.234 | |
dc.contributor.sponsor | SFI | en_US |
dc.contributor.sponsor | ERC | en_US |
dc.relation.projectid | 10/CE/I1855 | en_US |
dc.relation.projectid | 13/RC/2094 | en_US |
dc.relation.projectid | 291652 | en_US |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | en_US |