An access control model for robot calibration

Shah, Ryan and Nagaraja, Shishir (2019) An access control model for robot calibration. Working paper. arXiv.org, Ithica, N.Y..

[img]
Preview
Text (Shah-Nagaraja-Arxiv-2019-An-access-control-model-for-robot)
Shah_Nagaraja_Arxiv_2019_An_access_control_model_for_robot.pdf
Final Published Version

Download (618kB)| Preview

    Abstract

    High assurance surgical robotic systems require robustness to both safety issues and security issues (i.e adversarial interference). In this work, we argue that safety and security are not disjoint properties, but that security is a safety requirement. Surgical robotics presents new information flow requirements that includes multiple levels of confidentiality and integrity, as well as the need for compartmentation arising from conflicts of interest. We develop an information flow model that derives from lattice-based access control. This model addresses the flow constraints of the calibration lifecycle of surgical robots - an important aspect of a high-assurance environment.