dc.contributor.advisor |
Cortesi, Agostino |
it_IT |
dc.contributor.author |
Caiazza, Gianluca <1991> |
it_IT |
dc.date.accessioned |
2017-02-23 |
it_IT |
dc.date.accessioned |
2017-05-08T03:52:34Z |
|
dc.date.available |
2017-05-08T03:52:34Z |
|
dc.date.issued |
2017-03-23 |
it_IT |
dc.identifier.uri |
http://hdl.handle.net/10579/10238 |
|
dc.description.abstract |
In recent years we observed a grown of cybersecurity threats, especially thanks to the ubiquitous of connected and autonomous devices. A list of these devices, commonly defined as Internet of Things, includes industrial automation, autonomous vehicles, robot-assisted surgery, surveillance platforms, home service automation and many more robotics domains; considering the sensitive information that are processed by these devices, the possibility of attacks should be considered as a serious security matter. This thesis focuses on the Robot Operating System (ROS), a widely adopted standard robotic middle-ware. We will analyse its possible vulnerabilities and the resulting threats that could be posed by attackers. More in details, the present work will provide an in-depth analysis of ROS and SROS - a proposed addition to the ROS API ecosystem to support modern cryptography and security measures - in addition to the development of a static analyser upon SROS for the automatic creation of software-enforcement security profiles. In order to do so, we performed the following tasks: (1) standardize the security logging format; (2) standardize the profile syntax for the policy; (3) provide new tooling to introspect recorded security logs. Lastly, we discussed some enhancements for SROS following the standard proposed by oneM2M. |
it_IT |
dc.language.iso |
|
it_IT |
dc.publisher |
Università Ca' Foscari Venezia |
it_IT |
dc.rights |
© Gianluca Caiazza, 2017 |
it_IT |
dc.title |
Security Enhancements of Robot Operating Systems |
it_IT |
dc.title.alternative |
|
it_IT |
dc.type |
Master's Degree Thesis |
it_IT |
dc.degree.name |
Informatica - computer science |
it_IT |
dc.degree.level |
Laurea magistrale |
it_IT |
dc.degree.grantor |
Dipartimento di Scienze Ambientali, Informatica e Statistica |
it_IT |
dc.description.academicyear |
2015/2016, sessione straordinaria |
it_IT |
dc.rights.accessrights |
openAccess |
it_IT |
dc.thesis.matricno |
840009 |
it_IT |
dc.subject.miur |
|
it_IT |
dc.description.note |
|
it_IT |
dc.degree.discipline |
|
it_IT |
dc.contributor.co-advisor |
|
it_IT |
dc.date.embargoend |
|
it_IT |
dc.provenance.upload |
Gianluca Caiazza (840009@stud.unive.it), 2017-02-23 |
it_IT |
dc.provenance.plagiarycheck |
Agostino Cortesi (cortesi@unive.it), 2017-03-06 |
it_IT |