Weiwei Han, Yi Li, Zhipeng Zhang, Chengyi Xia. STP-based verification and synthesis of state opacity for logical finite state machines. Inf. Sci., 641:119130, September 2023. [doi]
@article{HanLZX23,
title = {STP-based verification and synthesis of state opacity for logical finite state machines},
author = {Weiwei Han and Yi Li and Zhipeng Zhang and Chengyi Xia},
year = {2023},
month = {September},
doi = {10.1016/j.ins.2023.119130},
url = {https://doi.org/10.1016/j.ins.2023.119130},
researchr = {https://researchr.org/publication/HanLZX23},
cites = {0},
citedby = {0},
journal = {Inf. Sci.},
volume = {641},
pages = {119130},
}