...
机译:基于时空角色的访问控制模型的形式化与分析
Department of Computer Science, Colorado State University, Fort Collins, CO, USA;
Department of Computer Science, Colorado State University, Fort Collins, CO, USA;
access control model; security; requirements specification; model analysis and verification;
机译:基于时空角色的广义访问控制模型的规范,验证和执行
机译:基于角色的访问控制系统的形式化和规范化
机译:医疗领域基于链的访问控制和基于角色的访问控制的比较分析
机译:基于时空角色的访问控制模型的形式分析
机译:具有访问控制列表和基于角色的访问控制模型的可扩展访问控制Web服务的规范。
机译:Modbus SCADA系统中的基于角色的访问控制模型。集中模型方法
机译:基于时空角色的访问控制模型的形式化分析
机译:基于角色的访问控制的修订模型