一种用于密码协议形式化验证的简单逻辑

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