DSpace Repository

Security Analysis of Unmanned Aircraft Systems

Show simple item record

dc.contributor.author NGUYEN, Manh-Dung en_US
dc.contributor.author DONG, Naipeng en_US
dc.contributor.author ROYCHOUDHURY, Abhik en_US
dc.date.accessioned 2017-01-25T06:55:10Z en_US
dc.date.accessioned 2017-02-08T03:38:00Z
dc.date.available 2017-01-25T06:55:10Z en_US
dc.date.available 2017-02-08T03:38:00Z
dc.date.issued 2017-01-25T06:55:10Z en_US
dc.identifier.uri http://hdl.handle.net/1900.100/6167 en_US
dc.description.abstract Security is a big concern in widely adopting security critical systems, such as Unmanned Aerial Vehicles (UAV). To ensure security of a system, the rst step is to identify the required security properties as well as the potential attacks, i.e., security requirements. We identify a set of security requirements for UAV systems which is more complete and in more details than existing works. To facilitate formal analysis of a system against the set of requirements, we propose algorithms to automatically generate attack trees from the requirement set for the developers and designers to have a better understanding of the potential risks of a UAV system. Moreover, we propose an algorithm to automatically generate attack models from the attack tree and associate each attack model with the expected security properties. Given a UAV system model representing the honest behavior of participants, we are able to verify whether the system su ers from some potential attacks, by feeding the automatically generated attack models and the UAV system model to a model checker to verify the associated security properties. en_US
dc.language.iso en en_US
dc.relation.ispartofseries ;TRA1/17 en_US
dc.title Security Analysis of Unmanned Aircraft Systems en_US
dc.type Technical Report en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


My Account