自动信任协商中协商策略研究

论文摘要

自动信任协商是针对跨安全域的信任建立问题提出的一种新思想。本文在总结近年来自动信任协商领域研究成果的基础上,为维护开放网络环境下实体的自治性和隐私性、满足信任建立的安全性和有效性要求,对协商策略进行了深入研究。主要工作如下:对自动信任协商领域的概念、符号进行了归纳总结,制定了一套形式化描述框架。在框架中定义了满足、解锁、安全披露序列、最短披露序列、协商策略的安全性、协商策略的完备性等关键概念,并给出了ATN抽象模型、可成功的协商的形式化描述。结合信任管理领域的研究成果,提出了基于信任评估的两级协商策略,建立了基于信任评估的自动信任协商模型,提出了协商策略上传/下载方案。基于信任评估的两级协商策略将协商过程分为预协商和正式协商两级,在预协商中商定协商双方包括提供服务能力在内的各种控制信息,提高了协商效率,在正式协商中运用协商策略的上传/下载方案使得双方采用完全一致的协商策略和协商协议进行协商,实现了协商策略的互操作性。针对现有协商策略未考虑信任凭证的敏感度和格式的情况,在定义披露开销的基础上提出了一种基于树建模的NPTree W协商策略并设计了相应的协商协议。该策略采取局部取优的思想,每次在访问控制策略可选的情况下选取最小披露开销的凭证进行披露,形式化协商过程为深度优先遍历一棵带权重的树的过程,定义分支选择规则和回溯规则以减少搜索路径,提高协商效率。运用形式化语言对该策略的安全性和完备性进行了证明,对计算复杂度和通信复杂度进行了分析。针对自动信任协商研究中缺乏有效的全局优化的协商策略的情况,考虑披露开销因素,提出了一种基于动态规划的协商策略并设计了相应的协商协议。该策略采用多阶段决策最优化的思想,基于有向无环的与/或图建模,求解总披露开销最小的凭证披露序列,形式化协商过程为两阶段:(1)由协商开销图生成最小开销生成树阶段,(2)由最小开销生成树生成凭证披露序列阶段,分离了凭证的解锁和披露,在保障协商安全的同时提高了协商效率。运用形式化语言对该策略的安全性和完备性进行了证明,对计算复杂度和通信复杂度进行了分析。

论文目录

• 摘要
• Abstract
• 第一章 绪论
• 1.1 研究背景及研究意义
• 1.1.1 研究背景
• 1.1.2 研究意义
• 1.2 研究现状
• 1.2.1 国内外研究现状
• 1.2.2 研究热点
• 1.2.3 有待解决的问题
• 1.3 研究内容及章节安排
• 1.3.1 研究内容
• 1.3.2 章节安排
• 第二章 基本概念和形式化描述
• 2.1 协商实例
• 2.2 基本概念
• 2.2.1 信任凭证
• 2.2.2 访问控制策略
• 2.2.3 受保护资源
• 2.2.4 协商策略和协商协议
• 2.3 形式化描述
• 2.3.1 基本假设
• 2.3.2 形式化描述
• 2.4 本章小结
• 第三章 基于信任评估的自动信任协商模型
• 3.1 相关工作
• 3.1.1 信任评估
• 3.1.2 ATNN体系结构
• 3.2 两级协商策略
• 3.2.1 预协商
• 3.2.2 正式协商
• 3.3 模型的功能模块
• 3.3.1 信任管理控制
• 3.3.2 信任策略库
• 3.3.3 协商代理
• 3.3.4 协商策略库
• 3.4 模型分析
• 3.5 本章小结
• 第四章 基于树建模的协商策略
• 4.1 现有协商策略分析
• 4.2 相关工作
• 4.2.1 信任凭证披露开销
• 4.2.2 前提条件
• 4.2.3 策略树
• 4.3 基于树建模的协商策略
• 4.3.1 协商策略的基本思想
• W协商策略'>4.3.2 NPTree_W协商策略
• W协商协议'>4.3.3 NPTree_W协商协议
• 4.3.4 协商实例
• 4.3.5 协商策略的安全性
• 4.3.6 协商策略的完备性
• 4.3.7 协商策略的效率分析
• 4.4 本章小结
• 第五章 基于动态规划的协商策略
• 5.1 协商策略的基本思想
• 5.2 基于动态规划的协商策略
• 5.2.1 协商开销图
• 5.2.2 形式化描述
• 5.2.3 协商策略
• 5.3 协商协议
• 5.4 协商实例
• 5.5 协商策略的安全性
• 5.6 协商策略的完备性
• 5.7 协商策略的效率分析
• 5.7.1 通信复杂度
• 5.7.2 计算复杂度
• 5.8 本章小结
• 第六章 总结与展望
• 6.1 全文总结
• 6.2 工作展望
• 参考文献
• 作者简历 攻读硕士学位期间完成的主要工作
• 致谢