论文部分内容阅读
设计安全协议时，协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤，验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析，证明了这种方法的有效性，并根据分析结果给出了改进后的STS协议．
基于着色petri网的安全协议验证方法
【摘 要】
：
设计安全协议时，协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤，验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对
【机 构】
：
华中师范大学计算机科学系
【出 处】
：
华中师范大学学报(自然科学版)
【发表日期】
：
2006年3期
其他文献
摘要：随着计算机技术不断成熟与发展，计算机早已成为我们生活、学习、工作、娱乐不可或缺的工具。但计算机专业却成为余下几年，高校招生就业最为冷门的专业，这与专业发展和就业前景并不相符。追根寻底，是教育教学不能完成对计算机专业人才培养。追求个性化、行业化、领域化计算机专业人才的培养，将是计算机教育教学改革的方向。 关键词：计算机专业；就业前景；领域化；教育现状；教学改革 中图分类号：G424 文献标
中国现行的中部地区是计划经济体制下的、人为划分的中部，而从地理位置、经济梯度和市场经济体制下的经济格局3方面来看，如今划分的中部6省的这个中部实际上并不存在．所以，应该废
《国际藏书票艺术双年展》从1953年首届开始，半个世纪以来，由国际藏书票协会联盟成员组织轮流主办31届，已成为国际瞩目的权威性展览。在2004年第30届《国际藏书票艺术双年展》上
在中国文人墨客的传统中，隐士多是一种姿态，把国家天下的情怀，化为方寸间的山水，其中多有无奈，亦有不甘。而我认识的严隐鸿，“隐”不是退隐，不是寄情，而是本质天然。她原名严颖鸿。隐
卷积积分是计算连续时间系统零状态响应的数学工具．指出在利用由卷积微分性质和积分性质所得推论简化求解卷积运算时，参与卷积的两个函数都要受到条件限制．通过理论分析并用实例
主要讨论了复形范畴的张量积函子与horn函子的同伦伴随性，并且给出了同伦正则正向极限的定义，证明了复形范畴的张量积函子保持这种极限．
2008年8月9日，在半个多世纪以后，西班牙人把一位世界级的艺术巨匠用土壤等材质咏叹的诗歌，带到召开第29届奥运会的北京，一场名为《材质的诗歌》的毕加索旷世奇品展，在北京塞万提斯
健康人二氧化碳总量参考值是血气分析的一个重要指标.目前,国内外缺乏二氧化碳总量参考值的统一标准,该研究为制定中国成年人二氧化碳总量参考值的统一标准提供了科学依据.收集了中国70个单位用血气分析仪测定的9 157例健康成年人二氧化碳总量参考值,运用相关分析和回归分析的方法,研究了其与8个地理因素的关系.结果发现健康成年人二氧化碳总量参考值与中国地理因素之间有很显著的相关关系(F=41.098,P=0