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

摘要

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