【摘 要】
:
交通需求的日益增长给路网通行安全带来了全新的挑战,作为保障车辆行驶安全的传统车辆诊断技术已难以满足目前的实时性安全需求。对车辆进行远程诊断作为解决该问题的有效途
论文部分内容阅读
交通需求的日益增长给路网通行安全带来了全新的挑战,作为保障车辆行驶安全的传统车辆诊断技术已难以满足目前的实时性安全需求。对车辆进行远程诊断作为解决该问题的有效途径,是车辆诊断技术未来的发展方向。当前与车辆远程诊断技术相关的工作多集中于诊断系统的设计以及诊断通信过程的研究,而针对诊断前所需进行的身份认证与授权过程的研究相对匮乏。因此,本文以安全协议与形式化验证为出发点,选取车辆远程诊断前诊断通信主体的认证与授权过程作为具体的研究对象,提出了引入票据服务中心的车辆远程诊断授权协议,并使用形式化方法对协议进行了描述与安全性验证。在协议的设计中,本文提出引入可信平台模块机制以及基于混合策略纳什均衡理论的client-puzzle机制来完善协议的安全性。在协议的安全性分析阶段,本文针对车辆远程诊断授权协议所需的安全性,列出了其对应的安全目标,并对安全目标使用形式化方法逐一进行描述,然后使用安全协议验证工具Proverif对经过形式化描述的安全目标进行了安全性验证。最后,本文对client-puzzle机制性能以及具体的选取策略进行了分析并提供了算例。
其他文献
工作流建模主要是解决如何清晰、准确地表示企业实际的业务过程,并且以工作流模型的方法形式化的表示出来。本文采用基于Petri网的建模方式,这种建模方式集图形化和数学化于
多Agent系统作为分布式人工智能的一个重要研究领域,正越来越受到学术界的关注。而协作是多Agent系统研究的核心问题之一。论文的目的就是对已存在的多Agent协作方法——合同
本课题《AES在分布式管理信息系统中的应用研究》来源于实际项目。随着分布式管理信息系统广泛地应用,信息安全问题也日益突出。在这样的背景下,本文研究AES及其改进方案,并
随着计算机图形处理技术的飞速发展和互联网的迅速普及,三维模型正在被广泛地应用并带来可观的经济收益,并且已经成为知识产权保护的重要对象而三维网格数字水印技术正是在这
近日李克强总理在2015年政府报告工作报告中提出了“互联网+”行动计划,“互联网+”引起了广泛的关注,O2O模式作为“互联网+”的主要代表,更是进入了蓬勃发展的时期,国内涌现
模拟器作为计算机体系结构研究中的重要工具,已广泛应用于体系结构研究的方方面面。虽然模拟器具有使用灵活,成本低廉的优点,但由于通过软件来模拟硬件行为,模拟器的执行速度
随着网络技术的进步和用户对业务需求的不断提升,以软交换为核心的下一代网络已成为目前网络发展的热点。当前电信网面临软交换语音和数字融合的问题,也就是下一代网络热点问
无线Mesh网络是一种新型的无线通信网络,具有自组织性和自愈的特点,是多跳的宽带无线网络。无线Mesh网络不同于Ad Hoc网络的特点在于静态节点的引入,Mesh路由器和Mesh终端在计算
电信计费系统是电信运营系统的核心支撑系统,它具有数据量大、关联性强、安全性高、可靠性好等特点。网格计算是下一代分布式计算技术,它为解决大规模的、复杂的计算提供了平台
XML以其强大的描述性、结构化、易扩展、跨平台等特性在互联网和分布式异构环境中得到越来越广泛的应用,逐渐成为数据交换的首选技术,作为一种结构化的数据描述标准,XML为电