随着分布式系统和网络技术的快速发展,各种应用于这类环境的安全访问控制模型被提出并且逐渐被抽象成为通用的策略模型,而这类模型被广泛应用于分布式异构系统的环境之中。目前经典的访问控制模型是基于角色的访问控制模型,它不适用于多域环境下的权限管理,且难以满足其对于安全维护的需求。本文针对多自治域环境下不同自治域中的用户、角色等基于映射关系的应用层次安全互操作中所涉及的信任及风险问题,引入一种基于风险的多域安全互操作动态访问控制模型。通过将域间信任度量化并在传统的基于角色的访问控制策略中添加风险因素来使之具有动态性。风险的引入可以解决多自治域环境下资源拥有者和请求者可能分别属于不同自治域所带来的问题。同时多自治域所具有的实时动态性等特点也可通过风险等级的动态调整策略被抽象出来,并可由策略模型分析控制其过程。在此基础上,本文建立了基于风险的角色访问控制策略的安全分析验证模型,并给出了一种基于风险的多域安全验证体系。该安全分析验证模型基于状态转换系统,通过安全分析实例的建立与分析并结合安全验证体系来规范系统的行为,维护系统的重要安全属性。分析表明,基于风险的角色访问控制策略和安全分析验证模型可适用于多域环境下的访问控制应用,能够较好地解决多域所带来的异构系统互操作和安全性保障的问题。