OpSecure: A Secure Unidirectional Optical Channel for Implantable Medical Devices.

Arsalan Mosenia Niraj K. Jha

Published in: IEEE Trans. Multi Scale Comput. Syst. (2018)

Keyphrases

medical devices
covert channel
security requirements
finite state machines
bi directional
location aware
mobile phone
regulatory requirements
model checking
operating room