Police Security Communication over Public Cellular Network Infrastructure. - Rongyu He; Chaowen Chang; Guolei Zhao; Zheng Qin; Xi Qin (NCA, 2008)

A PK-SIM card based end-to-end security framework for SMS. - Rongyu He; Guolei Zhao; Chaowen Chang; Hui Xie; Xi Qin; Zheng Qin (Comput. Stand. Interfaces, 2009)

典型安全网关的形式化设计与证明 (Formal Design and Verification for Typical Security Gateway). - Ruiyun Wang; Guolei Zhao; Chaowen Chang; Xuejian Wang (计算机科学, 2017)

信息流格模型的非法流分析 (Illegal Flow Analysis for Lattice Model of Information Flow). - Xuejian Wang; Guolei Zhao; Chaowen Chang; Ruiyun Wang (计算机科学, 2019)