论文部分内容阅读
论文基于系统的API平台提出安全协议的一种CSP开发框架,将形式化方法与高级语言有机结合起来,实现了协议由形式化说明转换为可执行代码处理过程的自动化,有利于快捷准确地将已完成CSP验证的安全协议翻译为可执行代码,避免了在将CSP描述转换为可执行代码预处理过程中引入安全隐患的可能性。
安全协议的一种CSP开发框架
【摘 要】
：
论文基于系统的API平台提出安全协议的一种CSP开发框架,将形式化方法与高级语言有机结合起来,实现了协议由形式化说明转换为可执行代码处理过程的自动化,有利于快捷准确地将已完成CSP验证的安全协议翻译为可执行代码,避免了在将CSP描述转换为可执行代码预处理过程中引入安全隐患的可能性。
【机 构】
：
华中科技大学计算机学院信息安全系信息安全实验室,湖北武汉,430074
【出 处】
：
信息安全与通信保密
【发表日期】
：
2007年06期
其他文献
研究了非一体化供应链环境下的库存路径问题,给出改进的最邻近算法.针对由单一供应商和多零售商组成的两层供应链系统,通过降低运输费用,提高供应链的整体利润;通过价格策略,
现阶段人们的生活水平在不断提高,对于土地的利用率也越来越高,而玻璃幕墙具有一定的防风、遮风、采光好,隔热保温性能好等优点,并且能够有效跟较多的现代因素相结合,不但能
市场经济环境下,中国的城镇化步伐不断加快,建筑行业迎来了新的发展机遇,同时也需要面临诸多挑战.在诸多的建筑中,工业厂房建筑具有一定的特殊性,就需要在建筑设计中严格要求
学校基本情况rn合肥市贝思特乐高科技中心成立于2014年3月,是一所以乐高教具为平台,从事儿童科技启蒙教育的培训中心,也是合肥学院产学研基地、全国青少年教育机器人等级考试
本文阐述了多层轻钢结构常用的结构体系及常用的设计方法,并结合工程实际提出改进框架结构分析方法和压型钢板-混凝土组合楼盖的设计方法,简单分析了工程中易出现的问题并提
时至今日，通威回归饲料主业的意图已经非常明晰。随着国内经济的持续发展，居民收入水平不断提高，肉类和水产品消费量还将有较大的增长空间，对养殖饲料的需求也将进一步增大。从行
建筑装饰装修工程在建筑工程中占有极其重要的地位,合理完善的建筑装饰装修工程不仅能有效地保护建筑物,还能够改善基本建筑构件的功能.但是,因装饰装修工程需要经过复杂的工
生态环境设计必须要以生态意识为基本,在此基础之上用生态学的方法有效将生态问题环境问题相结合,实现居住环境的可持续发展,所以环境艺术设计教学,应将生态教育放在主位,本
通过对从吉林省公主岭市屠宰场、部队造纸厂下水污泥、机场泡子和大榆树稻田土中分离的4株光合细菌的生物学特性的鉴定,明确了光合细菌在光照条件下分别显现桔红、桔黄、紫和