...
机译:一种自动完善和验证访问控制策略的综合方法
Politecn Torino, Dipartimento Automat & Informat, Turin, Italy;
CNR, IEIIT, Cso Duca Abruzzi 24, I-10129 Turin, Italy;
Access control; Policy-based network management; Policy refinement; Policy verification;
机译:Mohawk:用于验证访问控制策略的抽象精炼和边界估计
机译:访问控制策略验证
机译:依赖类型理论验证信息流和访问控制策略
机译:基于模型检查云基础架构中基于属性的访问控制策略的方法
机译:基于方面的方法来对访问控制策略进行建模。
机译:俄勒冈州和华盛顿州新制定的综合背景调查政策对背景调查的影响:一种综合控制方法
机译:验证AWS IAM访问控制策略的正式方法