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

？在异构的信息系统中，为了保障信息的安全，都会采用相应强度的访问控制技术和策略。为了在异构信息系统之间，能够有效地共享资源，就需要在异构系统间实现安全策略的协同。给出了一个基于票据的安全策略协同模型，用形式化的语言对其进行了描述，并完成了对票据权限的计算