异构信息系统下安全策略协同的设计与形式化语言描述

• Design and formal description of security policy coordination for heterogeneous information systems