%0 Journal Article
%T 异构信息系统下安全策略协同的设计与形式化语言描述
%A 韩志勇
%A 王萍
%A 倪勇
%A 李先国
%J 计算机应用
%D 2005
%X ？在异构的信息系统中，为了保障信息的安全，都会采用相应强度的访问控制技术和策略。为了在异构信息系统之间，能够有效地共享资源，就需要在异构系统间实现安全策略的协同。给出了一个基于票据的安全策略协同模型，用形式化的语言对其进行了描述，并完成了对票据权限的计算
%K 异构
%K 安全策略
%K 协同
%K 票据
%K 令牌
%U http://www.joca.cn/CN/abstract/abstract13666.shtml