【摘 要】
：
实用的多方不可否认协议必须具备存活性、公平性、时限性、无排斥性和保密性.文中指出现有典型协议,如KM,OZCL和OZL均无法提供时限性和无排斥性,而且易遭受服务失效等攻击,致
论文部分内容阅读
实用的多方不可否认协议必须具备存活性、公平性、时限性、无排斥性和保密性.文中指出现有典型协议,如KM,OZCL和OZL均无法提供时限性和无排斥性,而且易遭受服务失效等攻击,致使它们不能成为实用的协议.为此,给出一个新协议NKM,其基于无需全局时钟同步机制支持的时间段概念实现时限性,借助双重群加密技术确保具备保密性的同时不丢失无排斥性,利用证据链技术既可高效维护协议证据,又能避开服务失效和重放攻击;同时还形式化验证了该协议的安全性,并对协议部署时将牵涉到的安全问题进行了考虑.与现有协议相比,NKM在安全性和
其他文献
随着社会的发展和技术的不断进步，制造业的生产方式也发生着不断演变和变革，具体表现为：产品生命周期大大缩短，品种更新速度明显加快；顾客需求多样化和个性化；按期交货、快速交货变
脉冲神经膜计算系统是膜计算的一个新分支，不仅具有计算机科学研究意义，而且在生物建模和仿真方面有潜在的应用价值．文中介绍了脉冲神经膜计算系统的基本概念并给出了脉冲神经膜
江总书记在党的十五大报告中明确指出,建立现代企业制度是国有企业改革的方向,要把国有企业的改革同改组、改造,加强管理结合起来,要积极推进各项配套改革.当前,以提高企业和
风是地球上的一种自然现象，它是由太阳辐射热引起的。风能是太阳能的一种转换形式，是一种重要的自然能源。太阳照射到地球表面，地球表面各处受热不同，产生温差，从而引起大气的对流
拉脱维亚政府7月1日颁布命令，自2日起在发生非洲猪瘟疫情的数个乡和城市实行紧急状态。据拉通社报道．紧急状态自2日起实行．至10月14日结束。紧急状态令涉及道加瓦皮尔斯等8个地
变异测试是一种行之有效的软件测试方法，通过使用变异算子产生变异体系统地模拟软件中的各种缺陷，然后构造能够杀死这些变异体的测试数据集。自动生成能够杀死变异体的测试数据
本文是作者多年从事饲料加工品质控制的经验总结．指出只有饲料厂的工艺流程和设备选用合理，管理上严格要求．操作上遵守规程，才可保证饲料的加工质量。
传统的缓存替换策略,如广泛使用的LRU算法,在程序工作集大于缓存容量的情况下,不能有效开发流式数据的重用性,导致缓存性能很差.文中提出一种流特性制导的缓存分配策略（SAGA）.
下一代互联网NGI（Next—Generation Internet）需要提供服务质量QoS（Quality of Service）路由能力．一方面，由于NGI网络状态难以精确测量与表达，因此OoS路由基于的信息应该是模糊的．另
玉米秸秆经氨化处理会显著提高其营养水平，本试验研究了不同水分及氨化时间对玉米秸秆氨化效果的影响。研究表明：在水分添加到45％，氨化6周能够达到最佳的效果。