Security policies configuration; Analysis method; Access control spaces; Information flows; Colored Petri-nets; SELinux;
机译:用于分析基于角色的访问控制策略的代数模型
机译:分析和管理基于角色的访问控制策略
机译:面向网空的访问控制:基于网空特征的模型及其策略
机译:Sciatool:一种用于分析基于访问控制空间,信息流和CPNS的SELinux策略的工具
机译:分布式系统中基于角色的访问控制安全策略管理和策略冲突解决。
机译:Notos-一个用于分析CpN观察到的推断DNA甲基化类型的预期比率的星系工具
机译:分析和管理基于角色的访问控制策略
机译:OLTaRIs:一种高效的基于Web的工具,用于分析暴露于空间辐射的材料