【摘 要】
：
随着计算机网络的高速发展,开发新型的网络协议成为热点研究课题。而新型网络协议的描述与验证又成为研究的关键。引入Petri网络模型,给出了一种协议验证的方法。通过描述Pet
论文部分内容阅读
随着计算机网络的高速发展,开发新型的网络协议成为热点研究课题。而新型网络协议的描述与验证又成为研究的关键。引入Petri网络模型,给出了一种协议验证的方法。通过描述Petri网络模型,该模型以其良好的直观性,为协议验证过程提供了极大的方便。并且提出了针对复杂的协议,可分解为若干个小部分,使用Petri模型,加之以有穷状态自动机和高级语言,可较完善地解决其描述和验证问题。所述的验证方法对于协议工程（protocol engineering）领域的研究,新的协议软件的产生,有着积极的推动作用。
其他文献
通过文献资料研究、专家咨询和问卷调查等方法对我国沿海与内地学校“全民健身一二一工程”实施的状况进行广泛的调查，并运用数理统计法和比较分析法对此进行了分析与研究。
2011年3月，黄石理工学院英语语言学习示范中心被授予“湖北省高等学校英语语言学习示范中心”（以下简称示范中心）。示范中心建筑总面积5329m^2．设备覆盖面积达3126m^2．总投入470余
14岁参军入伍，历经淮海战役、渡江战役、抗美援朝等上百次战斗；17岁受伤致残，昏迷93天，动过47次手术，失去双脚、双手、左眼，右眼视力仅0.3。 一个有功之臣、重残战士，朱彦夫完全可以换个活法，躺在荣军医院安享礼赞和优抚，靠国家养活一辈子，让别人照顾一辈子。 但是他没有，他拖着重残之躯回到了家乡。怎么过活啊，一开始连简单的饮食起居也做不到。是好男儿绝处也可逢生！靠着这股子血性，朱彦夫扯着嗓子
在论述跳远运动员助跑准确性的重要性的基础上,提出了影响跳远运动员助跑准确性的因素及其克服的方法,同时,提出了提高运动员助跑准确性的训练方法和手段.
年初,中央颁布的新修订的《党政领导干部选拔任用工作条例》（以下简称《条例》）,是新时期做好干部选拔任用工作的基本遵循,是选拔任用好干部的制度保证。在县级贯彻落实《条例
一个时期，很多地方多次出现重度雾霾天气，大风过后蓝天重现。然而，大风可以吹走室外的雾霾，却吹不走室内的烟霾。 烟霾危害甚于雾霾。烟草燃烧释放的烟雾，颗粒粒径在0.107～0.4微米之间，正是制造室内PM2.5的“罪魁祸首”。根据首都医科大学环境卫生实验室检测，在35平方米的室内密闭环境中，一名吸烟者点燃卷烟后，即可导致室内的PM2.5浓度从30微克/立方米上升到400微克/立方米；当第二名吸烟者
在历史唯物主义创立初期，马克思和恩格斯曾集中论述了历史唯物主义关于生产力决定生产关系、经济基础决定上层建筑等主要观点。但是，到了19世纪后期，以德国社会学家保尔·巴
以我们的人口规模和资源状况，粗放发展、奢华生活，很难兼得蓝天白云。 看看环保部门的数据，一年来，京津冀地区空气达标的天数不到四成。这倒和日常生活经验挺吻合：有时候看着窗外连续几日灰蒙蒙，脑中不由蹦出白居易的诗句：回头下望人寰处，不见长安见尘雾。这“诗意”，挺黑色。盼望“风局长上任”的调侃，也屡在手机间流传。 治霾，不能真的“让一切随风”，还须尽人事。这份空气质量状况清单，好比是医院的化验单，见
随着智能手机的普及,手机上的应用程序也越来越多样化,有关用户的数据量也很多,这其中有涉及到用户的个人信息安全,也有许多跟用户相关的信息需要数据库服务器的管理维护。不
对于口令认证的密钥交换协议的安全性要求，分析Izabachene等提出的口令认证的两方密钥交换协议存在服务器泄漏伪装攻击，在该协议的基础上，利用服务器不直接存储客户端的口令明文