论文部分内容阅读
通过引入优胜劣汰的自然规律,提出了改进的基于演化计算的密码协议自动化设计方法。该方法采用模态逻辑作为描述协议的基本工具,重点改进了衡量安全协议个体性能的评估函数,以求获得全局最优解。实验结果显示,该方法能保证所设计协议的正确性和安全性,具有较强的可行性和适用性。
面向远程证明的安全协议设计方法
【摘 要】
：
通过引入优胜劣汰的自然规律,提出了改进的基于演化计算的密码协议自动化设计方法。该方法采用模态逻辑作为描述协议的基本工具,重点改进了衡量安全协议个体性能的评估函数,以求获得全局最优解。实验结果显示,该方法能保证所设计协议的正确性和安全性,具有较强的可行性和适用性。
【机 构】
：
武汉大学计算机学院,武汉大学空天信息安全与可信计算教育部重点实验室
【出 处】
：
通信学报
【发表日期】
：
2008年10期
其他文献
面向多要素访问控制和多级安全需求,为了解决网络环境的开放性、多样化所带来的安全问题,基于现有的结构化文档描述模型及访问控制模型,提出了一种面向多级安全的结构化文档描述模型和描述方法,并给出安全属性的描述结构及其对应的可扩展标识语言(XML)实例,最后对提出的模型进行了安全性分析。
为了解决通道变化对说话人识别系统性能的影响,将最大后验概率方法应用到具体的通道补偿中。首先设置标准通道,然后利用其他通道和标准通道偏差的分布作为先验知识,通过少量自适应数据获得当前通道的偏差对特征进行调整,达到补偿的目的。实验结果表明,在1s自适应数据时,该方法的识别率达到89.1%,和倒谱平均减方法相比识别率提高4.2%,随着自适应数据的增加,采用该方法的系统性能可进一步提高。
目的：观察培哚普利治疗急性心肌梗塞的疗效。方法：治疗组患者入院后给予口服培哚普利4mg，qd，连用4wk。结果：治疗组236例患者中33例死亡，占13．98％；未用培哚普利的对照组160例患者中55例