Guolei Zhao

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 2

Top Topics

Engineering Design

Information Flows

Top Venues

计算机科学

Publications

Xuejian Wang, Guolei Zhao, Chaowen Chang, Ruiyun Wang
信息流格模型的非法流分析 (Illegal Flow Analysis for Lattice Model of Information Flow). 计算机科学 46 (2) (2019)
Ruiyun Wang, Guolei Zhao, Chaowen Chang, Xuejian Wang
典型安全网关的形式化设计与证明 (Formal Design and Verification for Typical Security Gateway). 计算机科学 44 (9) (2017)
Rongyu He, Guolei Zhao, Chaowen Chang, Hui Xie, Xi Qin, Zheng Qin
A PK-SIM card based end-to-end security framework for SMS. Comput. Stand. Interfaces 31 (4) (2009)
Rongyu He, Chaowen Chang, Guolei Zhao, Zheng Qin, Xi Qin
Police Security Communication over Public Cellular Network Infrastructure. NCA (2008)