切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
安全协议的测试与证明
安全协议的测试与证明
来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:cho159753
【摘 要】
:
提出通过测试来证明安全协议的方法。以NS和NSL协议为例,首先将协议形式化为事件序列,协议的性质可以表示为序列上的性质。协议的完整运行可以系统地生成,因此,协议的性质可
【作 者】
:
乔海燕
【机 构】
:
中山大学
【出 处】
:
计算机工程与应用
【发表日期】
:
2009年4期
【关键词】
:
测试
Needham-Schroeder-Lowe协议
函数程序设计
testing
Needham-Schroeder-Lowe(NSL) protocol
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出通过测试来证明安全协议的方法。以NS和NSL协议为例,首先将协议形式化为事件序列,协议的性质可以表示为序列上的性质。协议的完整运行可以系统地生成,因此,协议的性质可以系统地测试。形式化和测试在函数程序设计语言Haskell中完成。
其他文献
APEC一次有成果的会议
【正】 历时6天的亚太经合组织(APEC)成员领导人第七次会议、成员部长级第十次会议于9月13日在新西兰的花园式城市奥克兰落下了帷幕。会前一些人士对这次会议能否取得成果不
期刊
奥克兰
外长会议
世贸组织
贸易自由化
亚太经合组织
成果
新西兰
自由化进程
领导人
贸易谈判
沙特王国面面观
<正> 沙特阿拉伯王国位于阿拉伯半岛,东临海湾,西濒红海,幅员辽阔.是世界上著名盛产石油的富国。沙特又是伊斯兰教发祥地,伊斯兰教创始人穆罕默德生于麦加,葬于麦地那,两城因
期刊
沙特阿拉伯
伊斯兰教
政治
石油
大坡度斜井掏槽法三台阶施工技术
木寨岭隧道3#斜井为软弱围岩大坡度斜井,为满足无轨运输机械作业空间及性能要求,采用三台阶掏槽法施工,较常规三台阶法可为机械提供更大作业空间,能够形成平行流水作业,提高施.Y-进
期刊
大坡度斜井
掏槽法
三台阶法
工装
large slope inclined shaft
slotting method
three-step method
企业社会责任的不断完善对公司治理的影响研究
经济发展模式的变化和社会公众对企业社会责任履行的需求不断加强,使得公司治理必须更多地关注于社会责任问题。文章通过对理论的分析,发现利益相关者是连接二者之间的纽带。
期刊
公司治理
企业社会责任
利益相关者
影响研究
corporation governance
corporate social responsibility
st
桥上新建双线铁路有砟轨道500m长轨铺设技术
本文根据唐曹铁路项目的工程施工特点,针对目前桥上新建双线铁路有砟轨道500 m长钢轨铺设施工技术的现状和存在的问题,对其进行优化分析,改进了500 m长钢轨铺设施工方法,提出
期刊
新建双线铁路
有砟轨道
500
m长钢轨
换铺法
人工配合机械铺设法
newly-built two-lane railway
ballast track
50
电子政务产业供方市场结构
<正>电子政务产业供应链的构成;企业体系,技术体系,产品体系电子政务产业链供方市场及供方分类:产品与技术供应商(电信产品与技术、网络产品与技术、通信产品与技术、安全产
期刊
电子政务产业
供方
市场结构
企业体系
技术体系
产品体系
中国亚非发展交流协会第四届会员代表大会在京举行
2001年9月25日-27日中国亚非发展交流协会第四届会员代表大会在国家环保总局北京会议中心隆重召开。此次会议是亚非协会四年一次的换届大会,协会会长、顾问、常务理事、理事等
期刊
中国
亚非发展交流协会
第四届会员代表大会
北京
“9·11”事件
安全形势
智能移动机器人跟踪系统应用研究与设计
针对移动机器人检测与跟踪系统的世界模型,从智能控制与模式识别方法和传统控制理论相结合的思想出发,提出一种多层次、多阶段的智能控制模型结构。此结构仿人思维模式把复杂任
期刊
智能控制模型
KALMAN滤波器
移动机器人
汽车桩考
intelligent control modle
Kalman filter
moving rob
干热高温沙漠地区铁路上碴整道施工技术探究
针对沙特南北铁路项目在干热高温沙漠地区进行无缝线路上碴整道施工过程中,容易出现“碴包沙”的现象,介绍了上碴整道施工改进技术,分析了沙漠试验段的质量检测方法,为今后类似工
期刊
干热高温
沙漠
铁路
上碴整道
dry climate with high temperature
desert
railway
laying ballast
2006中国信息化推进大会在京举行 曾培炎致贺信
期刊
与本文相关的学术论文