机译:来源支持的授权逻辑的表现力
机译:Logikey Workbench:语言,逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:模糊逻辑作为信息表达力的逻辑
机译:模糊逻辑作为信息表达力的逻辑
机译:计算路径逻辑:富有表现力,但基本的过程逻辑
机译:枚举的授权策略ABAC模型:表达能力和执行力。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:具有源头的授权逻辑的表达能力