An access control model for robot calibration
Shah, Ryan and Nagaraja, Shishir (2019) An access control model for robot calibration. Preprint / Working Paper. arXiv.org, Ithica, N.Y..
Preview |
Text.
Filename: 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.
ORCID iDs
Shah, Ryan ORCID: https://orcid.org/0000-0003-1348-8423 and Nagaraja, Shishir;-
-
Item type: Monograph(Preprint / Working Paper) ID code: 69393 Dates: DateEvent25 May 2019Published25 May 2019Published OnlineNotes: 7 pages, 4 figures 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: 22 Dec 2024 01:10 Related URLs: URI: https://strathprints.strath.ac.uk/id/eprint/69393