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

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