Abstract
Security of robotics systems, as well as of the related middleware infrastructures, is a critical issue for industrial and domestic IoT, and it needs to be continuously assessed throughout the whole development lifecycle. The next generation open source robotic software stack, ROS2, is now targeting support for Secure DDS, providing the community with valuable tools for secure real world robotic deployments. In this work, we introduce a framework for procedural provisioning access control policies for robotic software, as well as for verifying the compliance of generated transport artifacts and decision point implementations.
Authors
Ruffin White CSE, UC San Diego rwhitema [at] ucsd.edu |
Gianluca Caiazza Ca’ Foscari University of Venice 840009 [at] stud.unive.it |
Agostino Cortesi Ca’ Foscari University of Venice cortesi [at] unive.it |
Henrik Christensen CSE, UC San Diego hichristensen [at] ucsd.edu |
Paper
Video
Code/Data
The code and experimental results for this paper is available at https://github.com/ruffsl/PPAC_ROS2
Acknowledgement
The authors would like to thank the Open Source Robotics Foundation for their support in this work and for the opportunity to contribute to SROS2 and future robot security. Work partially supported by CINI Cybersecurity National Laboratory within the project “FilieraSicura”.
Citation
[bibtex key=2018-White-PPACFRS]
Copyright
The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author’s copyright. These works may not be reposted without explicit permission of the copyright holder.