论文部分内容阅读
设计安全协议时，协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤，验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析，证明了这种方法的有效性，并根据分析结果给出了改进后的STS协议．
基于着色petri网的安全协议验证方法
【摘 要】
：
设计安全协议时，协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤，验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对
【机 构】
：
华中师范大学计算机科学系
【出 处】
：
华中师范大学学报(自然科学版)
【发表日期】
：
2006年3期
其他文献
摘要：随着计算机技术不断成熟与发展，计算机早已成为我们生活、学习、工作、娱乐不可或缺的工具。但计算机专业却成为余下几年，高校招生就业最为冷门的专业，这与专业发展和就业前景并不相符。追根寻底，是教育教学不能完成对计算机专业人才培养。追求个性化、行业化、领域化计算机专业人才的培养，将是计算机教育教学改革的方向。 关键词：计算机专业；就业前景；领域化；教育现状；教学改革 中图分类号：G424 文献标
中国现行的中部地区是计划经济体制下的、人为划分的中部，而从地理位置、经济梯度和市场经济体制下的经济格局3方面来看，如今划分的中部6省的这个中部实际上并不存在．所以，应该废
卷积积分是计算连续时间系统零状态响应的数学工具．指出在利用由卷积微分性质和积分性质所得推论简化求解卷积运算时，参与卷积的两个函数都要受到条件限制．通过理论分析并用实例
健康人二氧化碳总量参考值是血气分析的一个重要指标.目前,国内外缺乏二氧化碳总量参考值的统一标准,该研究为制定中国成年人二氧化碳总量参考值的统一标准提供了科学依据.收集了中国70个单位用血气分析仪测定的9 157例健康成年人二氧化碳总量参考值,运用相关分析和回归分析的方法,研究了其与8个地理因素的关系.结果发现健康成年人二氧化碳总量参考值与中国地理因素之间有很显著的相关关系(F=41.098,P=0