A Logic-Reasoning Approach to Network Security Analysis. - Handong Mao; Aihua Bao; Chen Feng; Weiming Zhang (SKG, 2007)

Approach to the Formal Representation of OWL-S Ontology Maintenance Requirements. - Aihua Bao; Li Yao; Wei Ming Zhang; Jinping Yuan (WAIM, 2008)

Ontology Automatic Constructing Based on Relational Database. - Peng Liu 006; Xiaoying Wang; Aihua Bao; Xiaoxuan Wang (GCC, 2010)

一种基于虚拟隔离机制的云盘安全访问模型 (Security Access to Cloud Disk via Virtual Isolation Mechanism). - Feng Chen; Aihua Bao; Weiming Zhang (计算机科学, 2016)