论文部分内容阅读
提出通过测试来证明安全协议的方法。以NS和NSL协议为例,首先将协议形式化为事件序列,协议的性质可以表示为序列上的性质。协议的完整运行可以系统地生成,因此,协议的性质可以系统地测试。形式化和测试在函数程序设计语言Haskell中完成。
安全协议的测试与证明
【摘 要】
：
提出通过测试来证明安全协议的方法。以NS和NSL协议为例,首先将协议形式化为事件序列,协议的性质可以表示为序列上的性质。协议的完整运行可以系统地生成,因此,协议的性质可
【机 构】
：
中山大学
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年4期
其他文献
【正】 历时6天的亚太经合组织(APEC)成员领导人第七次会议、成员部长级第十次会议于9月13日在新西兰的花园式城市奥克兰落下了帷幕。会前一些人士对这次会议能否取得成果不
<正> 沙特阿拉伯王国位于阿拉伯半岛,东临海湾,西濒红海,幅员辽阔.是世界上著名盛产石油的富国。沙特又是伊斯兰教发祥地,伊斯兰教创始人穆罕默德生于麦加,葬于麦地那,两城因
木寨岭隧道3#斜井为软弱围岩大坡度斜井，为满足无轨运输机械作业空间及性能要求，采用三台阶掏槽法施工，较常规三台阶法可为机械提供更大作业空间，能够形成平行流水作业，提高施．Y-进
经济发展模式的变化和社会公众对企业社会责任履行的需求不断加强,使得公司治理必须更多地关注于社会责任问题。文章通过对理论的分析,发现利益相关者是连接二者之间的纽带。
本文根据唐曹铁路项目的工程施工特点,针对目前桥上新建双线铁路有砟轨道500 m长钢轨铺设施工技术的现状和存在的问题,对其进行优化分析,改进了500 m长钢轨铺设施工方法,提出
<正>电子政务产业供应链的构成;企业体系,技术体系,产品体系电子政务产业链供方市场及供方分类:产品与技术供应商(电信产品与技术、网络产品与技术、通信产品与技术、安全产
2001年9月25日-27日中国亚非发展交流协会第四届会员代表大会在国家环保总局北京会议中心隆重召开。此次会议是亚非协会四年一次的换届大会，协会会长、顾问、常务理事、理事等
针对移动机器人检测与跟踪系统的世界模型，从智能控制与模式识别方法和传统控制理论相结合的思想出发，提出一种多层次、多阶段的智能控制模型结构。此结构仿人思维模式把复杂任
针对沙特南北铁路项目在干热高温沙漠地区进行无缝线路上碴整道施工过程中，容易出现“碴包沙”的现象，介绍了上碴整道施工改进技术，分析了沙漠试验段的质量检测方法，为今后类似工