首页> 中文期刊> 《计算机科学》 >具有时限约束的安全协议分析技术研究

具有时限约束的安全协议分析技术研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文指出了现有时限责任分析技术中存在的缺陷,提出了一种基于Kailar逻辑的安全协议时限责任分析框架.通过该分析框架对一个具有时限性要求的安全电子投递协议进行分析,发现了协议存在的时限问题,修改了协议并给出了修改后的协议满足时限性要求的证明.

著录项

来源
《计算机科学》 |2005年第1期|80-85|共6页
作者
董荣胜; 彭勋; 郭云川; 古天龙;
展开▼
作者单位

桂林电子工业学院计算机系;

桂林;

541004;

桂林电子工业学院计算机系;

桂林;

541004;

桂林电子工业学院计算机系;

桂林;

541004;

桂林电子工业学院计算机系;

桂林;

541004;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
形式化方法; 时限责任; 安全协议;

相似文献

中文文献
外文文献
专利

1. 一类具有"开端"结构的安全协议分析方法研究 [J] . 董荣胜 ,吴光伟 ,骆翔宇 . 计算机科学 . 2008,第007期
2. SAL框架下的安全协议分析技术研究 [J] . 李超 ,董荣胜 ,郭云川 . 计算机科学 . 2006,第B12期
3. 一种基于可行性条件的具有爬升限制的安全约束机组组合系统方法 [J] . 郭三刚 . 科学技术与工程 . 2014,第012期
4. 具有爬升速率限制的安全约束机组组合可行的条件 [J] . 郭三刚 ,张琳 ,李晓康 . 科学技术与工程 . 2013,第032期
5. 具有安全约束的发电机组组合可行的充分必要条件 [J] . 郭三刚 ,张琳 ,翟桥柱 . 热力发电 . 2011,第003期
6. 3G核心网安全体系及GTP协议分析过滤技术研究 [C] . 闻英友 ,东软研究院 ,喻嘉 . 2007年全国网络与信息安全技术研讨会 . 2007
7. 具有安全性约束的智能车辆路径规划方法研究 [A] . 杜悦 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号