异构信息系统下安全策略协同的设计与形式化语言描述
韩志勇,王萍,倪勇,李先国
Design and formal description of security policy coordination for heterogeneous information systems
HAN Zhi-yong, WANG Ping, NI Yong, LI Xian-guo
计算机应用 . 2005, (07): 1565 -1567 .  DOI: 10.3724/SP.J.1087.2005.01565