DGKMNP协议的改进及形式化分析

来源 :军事通信技术 | 被引量 : 0次 | 上传用户:song52535
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
保证信息交换中的公平性和安全性是多方不可否认协议的重要任务。文章对基于双重组加密的多方不可否认(DGKMNP)协议进行分析研究,发现其存在不满足时限性的缺陷,并且不能抵抗合谋攻击,针对这些问题提出一种新的改进思路。通过向协议消息中添加时间限制信息和加密身份标识的办法对该协议作出了改进,使用SVO逻辑对其安全性进行形式化分析,结果表明改进后的协议满足时限性和公平性,且协议执行效率高。 Ensuring fairness and security in the exchange of information is an important task for the undeniable agreement of many parties. This paper analyzes and studies the multi-party non-repudiation (DGKMNP) protocol based on double-group encryption and finds that it has defects that do not meet the time limit and can not resist collusion attacks. A new improvement idea is proposed according to these problems. This protocol is improved by adding the time limit information and the encrypted ID to the protocol message. The SVO logic is used to formally analyze its security. The results show that the improved protocol satisfies the timeliness and fairness, and the protocol execution efficient.
其他文献
目的:针对有效验方51#胶囊进行处方精减研究,在确定新组方基础上进行药效学验证和初步安全性评价研究,为治疗痛风的天然药物新药开发提供立题依据。   方法:采用小鼠醋酸扭体、
The concept of dense small cell has been recently emerged as a promising architecture that can significantly improve spectrum efficiency and system capacity.How
今年以来,湖北省沔阳县小南学校把在教师中开展业余评报活动作为语文教学的一项内容,经常组织师生对报刊上的文章进行评改,他们已向三级党报和中国青年报、北京日报发出稿件
目的:对蒙药“益智温肾十味丸”(苏格木勒-10)进行质量标准研究,提高药品的质量控制水平。并对该药的正常生产及进一步开发利用提供可靠的科学依据。   方法:采用显微鉴别、
本試驗希望初步了解广州条件下冬茨块根发育的一般規律及其与外界条件的相关性,抗寒力与品种、植期的关系。材料与方法参与本試騐的品种有禺北白、胜利一百号、掠龟种、紅皮
今年以来,人民日报在头版《今日谈》专栏里,根据党的路线、方针、政策,针对当前存在的一些实际问题,发表了许多精辟短小、议论风生的短文。针虽小,却一针见血,对于当前开展增
丹参(Salvia miltiorrhiza Bunge)是唇形科鼠尾草属的一种常见药用植物,入药部分为其干燥的根和茎,水溶性的酚酸类次生代谢物是其重要的药用成分。植物中的钙离子作为胞内第二信使参与植物生长发育、代谢和胁迫应答等的信号转导过程。本研究使用的材料为悬浮培养的丹参细胞,从丹参中克隆获得一条含有C2-SRC2特异结合位点的、编码能够结合钙离子的C2-SRC2-like蛋白的基因,将其命名
编辑同志: 谢谢你们寄来的《新闻战线》。在这一期(第四期)第四十一页第一栏(《斯诺和我的写作生活[续]》一文)中,有两个小错:(一)第五行“贵家场(音译)”应作“盔甲厂”,现
黄精为百合科黄精属植物滇黄精PolygonatumkingianumColl.etHemsl.、黄精PolygonatumsibiricumRed.或多花黄精PolygonatumcyrtonemaHua的干燥根茎。早在2002年卫生部就将黄精
学位