切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
安全协议验证的归纳方法与串空间形式化比较
安全协议验证的归纳方法与串空间形式化比较
来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:xuq
【摘 要】
:
使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化,并比较了这两种安全协议验证法,证明两种方法形式化的正确性和攻击者能
【作 者】
:
乔海燕
【机 构】
:
中山大学计算机科学系
【出 处】
:
计算机研究与发展
【发表日期】
:
2008年z1期
【关键词】
:
安全协议验证
归纳方法
串空间
类型论
cryptographic protocol inductive method strand space type th
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化,并比较了这两种安全协议验证法,证明两种方法形式化的正确性和攻击者能力是相同的.
其他文献
以色列开发出城市供水监测软件
位于海法的以色列梅丹工程计算机公司开发出一种城市自来水监测软件,当供水系统出现污染或受到恐怖袭击时,该软件可帮助管理部门进行决策,减少事故造成的影响和损失。
期刊
监测软件
以色列
城市供水
开发
城市自来水
计算机公司
恐怖袭击
供水系统
金坛市防洪石桥枢纽场址区土的渗透变形评估
通过分析金坛市防洪石桥枢纽地质条件,对场区的渗透变形进行了类型判别,得出场区为流土变形的结论,并进行临界水力比降的计算,为后继设计提供了依据。
期刊
金坛
防洪石桥
渗透变形
浅析光纤保护在电网中的应用
随着光纤通信技术的发展,光纤通道所具有的先天优势,与继电保护的结合,在电网中会得到越来越广泛的应用,但光纤保护存在的问题需进一步探讨.
期刊
光纤通道
光纤保护
纵联保护
董乃银:无声世界里的追梦者
1998年,36岁的董乃银从乡镇教育助理的位置上被调往江苏省宝应县聋哑学校任校长。有人劝他别去:聋哑学校位置偏僻,条件简陋,整天跟一群聋哑孩子在一起,你还有什么前途?可这位充满活
期刊
聋哑学校
世界
银
1998年
教育助理
学校位置
活动场所
宝应县
苦练内功求实效 创建特色上台阶
期刊
苦练内功
创建特色
上台阶
建筑公司
技能训练
专业设置
专业技能
各专业
学校
企业联合办学
浅谈盲校美工课程的教育功能及教学建议
视障学生由于视觉感知渠道严重受限,其认知活动主要依靠听觉、触觉、味觉、嗅觉等感觉进行,逐渐形成“以手代目”的活动方式。而美工课程作为盲校动手操作性极强的一门课程,对视
期刊
教学建议
教育功能
课程
美工
盲校
视觉感知
视障学生
认知活动
校长还是任课好
期刊
校长
任课
职中
教学工作
专业技术职称
教学业务
指导教师
时间
调查
监督
平原金钟山里鸣——记卢氏县教体委副主任武金钟
期刊
对中专计算机应用专业教学的看法与建议
期刊
计算机应用人才
计算机应用专业
中专学校
教学方法
计算机科学
教学大纲
办学方向
学生
专业知识
上机时间
高职汽车电喷柴油机教学改革刍议
文章从电喷柴油机占领了汽车市场开始分析,针对汽车电喷柴油机的教学的影响,重点论述了汽车电喷柴油机的教学内容、教学手段、教学设备和教学特点的改革探索。
期刊
高职
柴油机
电喷技术
教学改革
与本文相关的学术论文