【摘 要】
：
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径，但是密码协议的形式化分析研究目前还不够深入，针对这一现状，该文提出用时延Petri网来
论文部分内容阅读
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径，但是密码协议的形式化分析研究目前还不够深入，针对这一现状，该文提出用时延Petri网来表示和分析密码协议。该模型不但能够反映协议的静态和动态的特性，而且能够对密码协议进行时间、空间上的性能评估。作为实例，文章对MSR无线协议作了详细的形式分析和性能评估。最后，与其它形式化分析密码协议的方法作了比较。
其他文献
8月16日晚，本社泉州区负责人张志山与泉州市职业经理人协会在福建温陵律师事务所会议厅开展一场题为《海西创投联盟》的沙龙，与会的有福建温陵律师事务所主任肖志云，泉州市职业
前不久,我国天津核三院受到西欧规模最大的制粉机械专业公司瑞士布勒公司的指控。后者指控前者开发的四辊磨粉机和八辊磨粉机侵犯了专利权,要求停止生产这两个产品,否则将不
江泽民同志去年年初在广东考察工作时就开展党风廉政建设问题强调指出,教育和管理,德治和法治,必须双管齐下。教育抓好了,德治加强了,干部的思想政治素质和精神境界提高了,就
该文提出了一种基于组件技术,包括标准件库、基于Web的工程材料数据库和常用典型零部件库三部分组件的设计资源库系统框架模型,通过组件配置将该资源库嵌入到CAD应用系统中,实现工程设计资源的重用和共享,以此解决工程设计过程中存在的大量重复设计和计算等问题,从而提高工程设计的效率和质量。
目的：讨论经直肠彩色超声检查筛查前列腺癌的意义.方法：对因排尿症状就医的60岁以上患者做前列腺特异性抗原（SPA）筛查,对SPA4～10 ng/mL且游离SPA/总SPA＜0.26或SPA10.1～50 ng/mL的89
遗传算法作为一种模拟自然生物进化的群体搜索计算模型，正被广泛应用于各种领域，然而未成熟收敛现象却是一个难于克服的现实问题。论文首先分析了未成熟收敛的原因以及自然进化
11月17日8时，万众期待的融信之夜·第三届海峡两岸现代农业博览会暨第十三届花卉博览会文艺晚会，在漳州师院体育场燃情绽放，现场1．5万海内外宾客盛赞晚会可媲美央视的春节晚
1991年8月19日,苏联成立国家紧急状态委员会,宣布即日起在部分地区实行紧急状态,并声称戈尔巴乔夫健康状况欠佳,由副总统亚纳耶夫代行总统职务。消息传来,举世震惊。这就是所
"五一"期间,一块"汉蔡侯造纸遗址"的石碑在武汉市江夏区(原纸坊镇)—"森林公园"内赫然耸立。这处"中华古文化游乐园"的景点一开放,便遭到有关专家的质疑:据史料记载,纸坊镇出
近年来，数据库安全模型一直是数据库方面研究的热点。由于关系数据模型是建立在良好的数学模型的基础上，因而成熟的关系数据安全模型已经被提出。而面向对象数据模型本身尚未找