automatic analysis; logic-based methods; semantic-aware access control;
机译:通过SMT解决方案对基于管理角色的访问控制策略进行可扩展的自动符号分析
机译:RDBMS中基于逻辑的数据相关访问控制方法
机译:RDBMS中基于逻辑的数据相关访问控制方法
机译:语义感知访问控制策略的自动分析:基于逻辑的方法
机译:Web访问控制策略的基于逻辑的框架。
机译:第三本书:医疗领域的科学研究应用:基于逻辑的概念数据库分析方法
机译:基于模型的访问控制策略自动测试方法