【摘要】 逻辑语言由于其表达力和灵活性,是访问控制中授权语言的基础之一。针对Datalog语言缺乏表达事务和多方决策模型的能力,对Datalog进行了扩展,提出了一种带权重谓词的可选事务逻辑WT-Logic。首先对WT-Logic的语法、语义进行了说明;然后解释了其评价方法;最后对WT-Logic语言在工作流授权和多方投票机制中的应用进行了描述和示例,说明了WT-Logic的表达力和可应用性。更多还原

【Abstract】 Due to the expressiveness and flexibility,logic languages have become one of the bases of authorization language in access control.Concerned on the ability to express transaction and multi-party decision model,this paper extended Datalog language to WT-Logic,which is a kind of optional transaction logic with weighted predicates.Firstly,the syntax and semantics of the logic are discussed.Secondly,the evaluation method of the logic is explained.Lastly,the application of WT-logic in workflow authorization and multi-party voting mechanism is described and exampled,which shows the expressiveness and application of the logic.更多还原