Xiang Yin 0003, Shaoyuan Li. Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels. In 57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018. pages 4851-4856, IEEE, 2018. [doi]
@inproceedings{0003L18-4,
title = {Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels},
author = {Xiang Yin 0003 and Shaoyuan Li},
year = {2018},
doi = {10.1109/CDC.2018.8619851},
url = {https://doi.org/10.1109/CDC.2018.8619851},
researchr = {https://researchr.org/publication/0003L18-4},
cites = {0},
citedby = {0},
pages = {4851-4856},
booktitle = {57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018},
publisher = {IEEE},
isbn = {978-1-5386-1395-5},
}