An access control model for robot calibration

Research output: Working paper

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.
LanguageEnglish
Place of PublicationIthica, N.Y.
Number of pages7
Publication statusE-pub ahead of print - 25 May 2019

Fingerprint

Access control
Calibration
Robots
Robotics
Robustness (control systems)

Keywords

  • cs.CR
  • cs.DC
  • cs.RO
  • robot control
  • security challenges

Cite this

@techreport{a863437997d64e3aaa743ae87a26c31e,
title = "An access control model for robot calibration",
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.",
keywords = "cs.CR, cs.DC, cs.RO, robot control, security challenges",
author = "Ryan Shah and Shishir Nagaraja",
note = "7 pages, 4 figures",
year = "2019",
month = "5",
day = "25",
language = "English",
type = "WorkingPaper",

}

An access control model for robot calibration. / Shah, Ryan; Nagaraja, Shishir.

Ithica, N.Y., 2019.

Research output: Working paper

TY - UNPB

T1 - An access control model for robot calibration

AU - Shah, Ryan

AU - Nagaraja, Shishir

N1 - 7 pages, 4 figures

PY - 2019/5/25

Y1 - 2019/5/25

N2 - 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.

AB - 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.

KW - cs.CR

KW - cs.DC

KW - cs.RO

KW - robot control

KW - security challenges

UR - https://arxiv.org/abs/1902.09587

M3 - Working paper

BT - An access control model for robot calibration

CY - Ithica, N.Y.

ER -