带权重谓词的可选事务逻辑及其访问控制应用

• 作者: 秦小麟 钟勇 霍颖瑜 马莉
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 可选事务逻辑 权重谓词 WT-Logic Datalog 授权语言
• 年，卷（期）: 2016,（10）
• 所属期刊栏目: 信息安全
• 页码范围: 177-181
• 页数: 5页
• 分类号: TP309
• 字数: 5640字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.10.033

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钟勇	佛山科学技术学院电子与信息工程学院	46	354	9.0	17.0
2	秦小麟	南京航空航天大学信息安全研究所	175	1597	20.0	30.0
3	霍颖瑜	佛山科学技术学院电子与信息工程学院	19	32	4.0	4.0
4	马莉	佛山科学技术学院电子与信息工程学院	24	61	4.0	6.0