...
机译:通过Belnap Logic进行访问控制:直观,富有表现力和可分析的策略组合
G. Bruns, Bell Laboratories, Alcatel-Lucent, 1960 Lucent Lane, Naperville, IL;
M. Huth, Department of Computing, Imperial College London, South Kensingtoncampus, London, SW7 2AZ, UK;
access-control policy languages; bilattices; multivalued logic;
机译:优化的智能传感器访问控制模型的策略表达力影响评估
机译:对智能传感器优化访问控制模型的政策表达的影响评估
机译:数据包:一种用于云环境中服务组合的隐私感知访问控制策略组合方法
机译:通过Belnap逻辑访问控制策略:有效和高效的组成和分析
机译:Web访问控制策略的基于逻辑的框架。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:通过Belnap Logic的访问控制策略:有效和高效的组合和分析
机译:关于时间依赖的访问控制策略的推理逻辑;博士论文