Alternative composition analysis of noninterference in cyber-physical system

Jingming Wang. Alternative composition analysis of noninterference in cyber-physical system. J. Comput. Meth. in Science and Engineering, 16(3):591-597, 2016. [doi]

Abstract

Abstract is missing.