基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

深入实施科技兴安战略 促进区域经济快速发展

江泽民同志在十六大报告中把科技工作摆在经济和社会发展的关键地位,提出了很高的要求,强调了走新型工业化道路,必须发挥科学技术作为第一生产力的重要作用。面对经济结构战略性调整和全面建设小康社会的时代目标,我们深知发展先进生产力的重要性,而科技是先进生产力的集中体现和主要标志,发展先进生产力必须抓住科技进步和创新这一决定性因素。联系安阳市实际,深感实施科教兴安战略意义重大,科技兴,则市兴,科技强,则经济强。努力探索切合安阳实际的科技兴安之路,是促进安阳市国民经济快速发展的关键所在。一、科技进步为经济社会发展提供了…     

企业管理要走出误区

十六大报告要学进去,学进去就把握住了未来的商机     

无线传感器网络数据传输协议的研究

通过对无线传感器网络典型应用结构及现有协议的分析，本文给出了一种较为简单的适用于小型无线传感器网络的通信协议，对通信数据格式及数据传输流程进行了较为详细的定义。为进一步验证协议性能，设计了一个小型的无线传感器网络实验系统，并在此系统上完成了对所堡过通信协蠼的验证，实验结果表明了本文所给出协议的有效性。     

富阳市科技孵化大楼奠基仪式日前举行

日前,杭州市萧山区举行产学研合作洽谈会,清华大学、中科院等15家在京科研机构及浙江大学等15家在杭院校与萧山区100多家重点骨干企业的负责人进行对接洽谈,并达成合作意向56项。会上,萧山区与清华大学科学技术开发部、长三角研究院签署全面合作协议。萧山区与中科院北京国家技术转移中心签署联合共建“中科院北京国家技术转移中心萧山办事处”协议。近年来,萧山区产学研合作硕果累累,尤其在推动该区企业与中科院的合作中成效明显。自2003年该区与中科院产业局、中科院上海分院签订“科技经济合作意向书”以来,已推动该区企业与有关院所成功…     

网络信任体系建设现状所带来的思考

随着计算机信息技术的飞速发展，信息网络国际化、社会化、开放化和个人化的特点在给人们带来方便、高效和信息共享的同时，也给信息安全带来许多问题。中办、国办印发《2006—2020年国家信息化发展战略》中提到：全面加强国家信息安全保障体系建设。坚持积极防御、综合防范，探索和把握信息化与信息安全的内在规律，主动应对信息安全挑战，实现信息化与信息安全协调发展。     

甘肃省自行车运动项目可持续发展研究

甘肃自行车项目一直是甘肃省的优势重点项目 ,为甘肃省竞技体育冲出亚洲 ,走向世界起重要作用。随着社会经济的发展 ,甘肃竞技体育将面临巨大挑战。保持和提高自行车项目的竞技水平 ,提升综合实力 ,实现短期内赶上世界领先水平的奥运战略。     

以中日韩自由贸易区为核心和先导的东北亚合作模式

2003年10月中日韩三国领导人在印尼巴厘岛《中日韩推进三方合作联合宣言》的签署之后，东北亚合作的问题日益成为人们关注的焦点，加强东北亚各国的合作不仅有利于促进亚太区域内各国经济的发展，促成亚太地区经济进一步崛起，还会化解东北亚各国之间的矛盾和冲突．东北亚的合作应当加强信任、走制度化的合作道路，创设以中日韩自由贸易区为核心和先导的东北亚合作模式．以次区域合作先行的模式来带动东北亚经济一体化的发展。