University of Limerick Institutional Repository

Ariadne: Topology aware adaptive security for cyber-physical systems

DSpace Repository

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics