移动自组网下的公平非抵赖协议及其安全性分析.pdf

硕士学位论文中国科学技术大学劬订及其安全性分析移动自组网下的公平非抵赖协议作者姓名:学科专业:计算机应用技术导师姓名:完成时间:吴呈邑熊焰教授二。一二年四月二十日
猂’鷈:::痵闤產’‘.‘
导师虢缪够两讼开口保密襄呈邑关呈星签字日期:丝丝:海豪肌中国科学技术大学学位论文原创性声明中国科学技术大学学位论文授权使用声明B蓿呼颍褐辽兰本人声明所呈交的学位论文,是本人在导师指导下进行研究工作所取得的成果。除已特别加以标注和致谢的地方外,论文中不包含任何他人己经发表或撰写过的研究成果。与我一同工作的同志对本研究所做的贡献均己在论文中作了明确的说明。作者签名:签字日期:作为申请学位的条件之一,学位论文著作权拥有者授权中国科学技术大学拥有学位论文的部分使用权,即:学校有权按有关规定向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅,可以将学位论文编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。本人提交的电子文档的内容和纸质论文的内容相一致。保密的学位论文在解密后也遵守此规定。年签字目期:
摘要晰栅怯扇舾纱形尴呤辗⑵鞯囊移动自组网动节点所组成的无基站的自治网络,广泛应用于军事、民用、商业等各个领域。在商业领域中,诸如电子商务、网上银行的网络应用对安全性的要求极高,为此人们提出了公平非抵赖协议。非抵赖协议是指为保证交易双方对交易行为无法抵赖,在交易结束后,交易双方都必须得到相应的证据,在出现争议时,仲裁方便能依据双方提供的证据进行仲裁。当交易双方使用非抵赖协议进行交易后,双方都不能否认参与此次信息交换。而一个公平的非抵赖协议则是指,当非抵赖协议结束之后,交易双方都得到相应的证据,或交易双方都没得到相应的证据,即不会出现交易双方中只有一方得到证据的情况。对于一个无法保证公平性的非抵赖协议,其结果可能会使仲裁有失公正,因此一个有效的非抵赖协议必须保证公平性。现有的非抵赖协议分为两种,一种为无可信第三方参与的非抵赖协议,另一种为有可信第三方参与的协议。无可信第三方参与的非抵赖协议中,绝大多数情况下无法保证其公平性,而能保证公平性的非抵赖协议要求又极为苛刻,例如要求发送方和接收方的计算能力相同。基于可信第三方的非抵赖协议需要选择一个权威、中立、可信任的第三方节点或组织作为实现证据交换,才能保证公平性。但是固定的可信第三方存在不少缺点。第一,由于移动自组网具有无中心节点和所有节点不可信任的特性,无法采用集中提供服务的坏诙尚诺谌揭材岩员Vぞ缘陌踩ǎ坏┛尚诺谌崩溃或被攻破,都会带来难以预估的损失,同时由于每次协议的运行都需要交易双方与可信第三方通信,易造成传输的瓶颈,最后,固定的可信第三方维护代价也较大。为此,本文对移动自组网下的公平非抵赖协议进行研究,研究内容如下:首先,在可信平台模块陌踩逑到峁够∩提出了一种适用于移动自组网、无需可信第三方的可信公平非抵赖协议。协议使用动态第三方取代固定的可信第三方,同时使用暾远攘考际鹾虳远程认证技术,保证动态第三方的可信。针对移动自组网奈拗行慕诘愫退薪诘悴豢尚湃蔚奶氐悖滦槭褂盟婊取的动态第三方,同时使用可信计算技术保证动态第三方的可信,使其代替传统的固定可信第三方完成信息交换。然后,使用形式化工具蕴岢鲂榈墓叫院椭ぞ莸挠行越蟹
析证明。公平非抵赖协议对安全性的要求极高,因此必须对其进行安全性进行分析。本文使用形式化方法对新协议进行形式化建模并在模型中添加其安全需求,然后对其自动生成的证明义务进行证明,以保证新协议的安全性。关键词:公平非抵赖可信计算移动自组网动态第三方摘要
鷒鷌研珊觚,,.,’’,髇’,瓵百籗瑂,.琺...雐瓵:.,甶孤
觚,“.砸:畆,.、“琺