论文部分内容阅读
给出了一个可用于密码协议形式化验证与设计的简单逻辑.该逻辑采用抽象的通道概念表示具有多种安全特性的通信链路,可在比现有认证逻辑的更抽象的层次上对协议进行处理.
一种用于密码协议形式化验证的简单逻辑
【摘 要】
：
给出了一个可用于密码协议形式化验证与设计的简单逻辑.该逻辑采用抽象的通道概念表示具有多种安全特性的通信链路,可在比现有认证逻辑的更抽象的层次上对协议进行处理.
【机 构】
：
陕西财经职业技术学院
【出 处】
：
电子科技
【发表日期】
：
2005年5期
其他文献
渐晕效果（Vignetting）是指在光学系统输出端的信号产生与位置有关的亮度衰减,使得图像的外围出现阴影的现象.文中在分析现有算法的基础上提出了一种线性逼近的算法.该方法能够
摘要：文章提出了《机械设计基础》课程在深化职业教育教学改革过程中面临的问题，提高教师素质的重要性，并从相关教学内容的整合，培养双师型教师以满足社会人才的要求，充分利用多种教学手段，提高课程设计的质量三个方面对《机械设计基础》课程教学的改革进行了探索。 关键词：机械设计 教学改革 技能训练 0 引言 我院自2007年10月入选“国家示范性高等职业院校建设计划”立项建设单位以来，积极开展
目的实现对植物根系形态基本参数的计算和分析。方法针对阵列分布内窥式图像获取技术采集的根系图像,提出一种改进的灰色关联度的边缘检测算法。该算法基于灰色关联分析理论,
介绍了嵌入式实时操作系统μC/OS-Ⅱ,并移植在以Silicon Lib公司生产的片上系统(SOC)单片机C8051F020为核心的硬件平台上,开发出了小型电站控制系统,实现了实时监测发动机组
张说在盛唐时期有着卓越的文治武功建树,对盛唐文化的建设作出了巨大的贡献,与玄宗一起创造了适合人才成长的、宽松融洽的社会人文环境,积极地促进了盛唐文化高潮的到来.其出
党的十八大提出了以生态文明为核心的美丽中国的建构框架。建设美丽中国不只是自然环境的保护与改善，更在于人文生态的建设。在建构美丽中国的过程中，人文生态建设是其应有之义
应电子工程学院梁继民教授邀请，美国俄亥俄大学电子工程与计算机学院Dayid Chelberg博士和刘俊东博士于3月12至15日来我校讲学访问。