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..
|
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.
Creators(s): |
Shah, Ryan ![]() | Item type: | Monograph(Working paper) |
---|---|
ID code: | 69393 |
Notes: | 7 pages, 4 figures |
Keywords: | cs.CR, cs.DC, cs.RO, robot control, security challenges, Electronic computers. Computer science, Computer Networks and Communications |
Subjects: | Science > Mathematics > Electronic computers. Computer science |
Department: | Faculty of Science > Computer and Information Sciences |
Depositing user: | Pure Administrator |
Date deposited: | 15 Aug 2019 11:30 |
Last modified: | 09 Dec 2020 01:59 |
Related URLs: | |
URI: | https://strathprints.strath.ac.uk/id/eprint/69393 |
Export data: |