1. Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic;2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2019-08
2. A Design of Evolutionary Personal Information Partner Based on Software as a Service;Advances in Computer Science and Ubiquitous Computing;2017-12-20
3. Contract-Based Programming for Future Computing with Ada 2012;2016
4. Research on Anticipatory Reasoning for Air Traffic Control;INT SYM COMPUT INTEL;2016
5. User Management in Information Security Engineering Environment ISEE;Intelligence and Security Informatics;2014