不可否认协议分析的增广CSP方法

来源 :通信学报 | 被引量 : 6次 | 上传用户:refreshingmind
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出一种适用于不可否认协议分析的增广CSP(communicating sequential processes)方法。检验有效性时使用它分析了Zhou等人于1996年提出的公平不可否认协议及其变体的安全性。结果表明该方法不仅能分析一些其他方法无法描述的协议性质,而且还发现了该协议的一个许多其他方法不能发现的已知缺陷;同时还证明协议变体增强了安全性。最后从语义和理论依赖2个角度讨论了方法正确性,并给出与其他方法相比所具备的优势。
其他文献
<正>《明理学刊》是由清华大学法学院研究生主办的学术性期刊,创刊于2002年10月,倡导&#39;开放性、规范性、可读性、新颖性&#39;,为广大法律研究者和从业者提供学术创作的平
期刊
2009年的河南巨奖彩票案引起了社会的广泛关注。这个事件的争议焦点在于是否应该公开中奖者的个人信息,由此引发了一场知情权与隐私权的较量。公法意义上的知情权的义务主体是
目前国内有近400台瑞士R公司AzA型号的磨齿机,绝大部分处于降级使用和报废状态。对此型号的磨齿机进行升级改造,是一个低投入高产出的项目,能够带来可观的效益。改造过程中的
首先回顾了公众通信网和计算的发展过程,之后提出了公众计算通信网(PCCN,public computing communication network)的概念,阐述了公众通信网向公众计算通信网发展的必然趋势,重点讨论了公众计算通信网的架构、实体以及关键技术。
铁姆肯公司通过收购领先的工业和海事应用齿轮传动服务和系统公司,增强动力传动实力;计划在全球范围内拓展费城齿轮制造公司业务模式。
园艺产业作为我国农业的重点产业,在乡村振兴中发挥着重要作用,本文主要论述园艺产业助力乡村振兴的主要路径,主要集中在产业振兴、生态振兴与文化振兴3个方面,并从科技研发
常数模算法在对非常模信号进行均衡时,稳态均方误差无法收敛至零。对常数模算法中的代价函数进行修正,该代价函数能将非常模信号的多个幅度模值变换成单一幅度模值,从而使新算法的稳态均方误差为零。理论分析和仿真结果证明了新算法的优良性能。
在某地看漫画大展,人世百态,各呈"彩",甚饱眼福。不意在观赏一幅《如此"情侣"》时,竟隐隐听到画中人语。颇感新奇!此君并非蒲松龄先生笔下"狐仙",不知纯属画家虚构,抑或现实
为了保证无线传感器网络(WSN)群组通信的安全性,设计了一种基于EBS的群组密钥管理方案。提出方案首先通过合并链状簇和星型簇简化无线传感器网络的拓扑结构,然后通过增加网络被捕获时所需入侵节点的数量来防止攻击者通过少量共谋节点得到所有管理密钥,之后利用图染色算法对分配密钥组合的节点进行排序,并依据海明距离和EBS方法对网络中的传感器节点进行管理密钥分配。在此基础上给出了对传感器节点的加入和离开事件进
股东派生诉讼,又称代位诉讼、代表诉讼,是指当公司的正当权益受到他人侵害,特别是受到有控制权的股东、母公司、董事和管理人员等的侵害时,股东以自己的名义为公司的利益对侵害人