论文部分内容阅读
在介绍Kim公平非否认协议的基础上,分析了LSG协议,指出协议中存在因消息重放而导致不公平的情况,提出了一个改进后的协议,并用新的Kailar逻辑对新协议的公平性和可追究性进行了分析。
Kim公平非否认协议的改进
【摘 要】
：
在介绍Kim公平非否认协议的基础上,分析了LSG协议,指出协议中存在因消息重放而导致不公平的情况,提出了一个改进后的协议,并用新的Kailar逻辑对新协议的公平性和可追究性进行
【机 构】
：
中央财经大学信息学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年4期
【基金项目】
：
国家自然科学基金（（the National Natural Science Foundation of China under Grant No.60673162）,北京市自然科学基金（the Natural Science Foundation of Beijing of China under Grant No.4082028.）,中央财经大学研究生创新基金重点资助项目（the Gradua
其他文献
从１９７９年至１９８８年，为培育适合于北方地区养殖的鲤鱼新品种，我所选用遗传差异大的黑龙江野鲤和荷包红鲤进行了正反杂交（单交）。结果两个亲本具有很强的配合力，正反交Ｆ＿１都有明显的生长优势，优势
对2008年~2016年在期刊上发表的研究智慧图书馆的文献,从年代分布、期刊发布、论文作者分布、核心作者分布、论文作者单位分布、研究主题进行统计分析,揭示了智慧图书馆文献
为了提高网络入侵检测系统（IDS）的实时性、可用性以及整体性能,提出了一种自动识别特征相关性的方法（特征分类法）。用该方法提取出的互相独立（或相关性很小）的特征作为反向传播神经
探讨不同厂家的膏状胶片隔离剂对半钢子午线轮胎钢丝附胶性能的影响。结果表明:不同浓度TF-1和JSHPG-2010隔离剂乳液对钢丝附胶硫化特性影响不大,但考虑加工安全性,JSH-PG-20
分析了高校图书馆员职业倦怠的表现和消极影响,总结了高校馆员产生职业倦怠的原因,提出了防止和消除高校馆员职业倦怠的一些建议和对策,以期促进高校图书馆事业的健康可持续
在OFDM系统中设计了一种基于全相位快速傅里叶变换算法的最大似然信道估计器。全相位傅里叶变换相对于快速傅里叶变换呈现平方的幅度增益性质，在高信噪比情况下可以抑制最大似
针对刘霞提出的改进的Server-specific MAKEP协议,首次利用一种新兴的形式化分析工具—串空间模型对其进行分析。先对协议的机密性进行分析,并运用“理想”和“诚实”两个概
介绍了长尾理论概念,分析了图书馆工作中存在的长尾现象,从3个方面探讨了长尾理论对图书馆用户服务工作的启示,以期在图书馆日常工作中利用好长尾理论,提高图书馆资源和服务
为了解决传统图档管理方法中存在的数据一致性不高、文件复制量大和中间版本不易维护等问题, 构建了面向对象的图档数据存储结构.以图档级为对象管理图档数据的存储和查询,解决异构CAD平台生成的图档不兼容问题;阐述了多版本图档管理模式,该模式能清楚记载版本演变历程,准确实现多版本的回溯;提出了基于事务语义的图档数据并发控制策略.实例证明该方法使CAD技术与CSCW技术充分结合,提高了协同设计过程中图档数据