自动信任协商的形式化描述与验证研究

• 作者: 伍卫国 官尚元 董小社 钱德沛
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 访问控制 信任协商 形式化方法 计算复杂性 安全性
• 年，卷（期）: 2011,（2）
• 页码范围: 86-99
• 分类号: TP309
• 字数: 17338字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-436X.2011.02.013

摘要

首先提出了自动信任协商的通用形式化框架,并将典型的信任协商策略规约到上述框架内;其次,基于上述形式化框架对自动信任协商的形式化验证问题进行了定义,确定了形式化验证的目标以及一般流程;再次,研究了典型信任协商策略的形式化验证问题,讨论了相关问题的计算复杂性并得到系列结论:最后,利用逻辑编程方法和模型检测方法实现了自动信任协商的形式化验证.实验结果表明,规则数足影响形式化验证系统运行时间的关键因素,逻辑编程方法和模型检测方法在规则较少时效率较高,但逻辑编程方法的可扩展性不及模型检测方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱德沛	西安交通大学计算机科学与技术系	98	550	12.0	18.0
5	伍卫国	西安交通大学计算机科学与技术系	93	1002	15.0	29.0
6	董小社	西安交通大学计算机科学与技术系	114	962	16.0	24.0
7	官尚元	西安交通大学计算机科学与技术系	7	42	3.0	6.0