Ting Wang, Qi Su, Tieming Chen. Formal Analysis of Security Properties of Cyber-Physical System Based on Timed Automata. In Second IEEE International Conference on Data Science in Cyberspace, DSC 2017, Shenzhen, China, June 26-29, 2017. pages 534-540, IEEE Computer Society, 2017. [doi]
Abstract is missing.