首页> 中文会议>2009年全国理论计算机科学学术年会 >一种增强电子商务协议安全性的形式化分析方法

一种增强电子商务协议安全性的形式化分析方法

页面导航

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

摘要

本文用半规则实体代表参与协议并为其利益驱动协议的实体,基于此设想给出一种在串空间模型中的形式化方法。引入Hash和Diffie-Hellman Exchange的案例,在模型中加入半规则串和半规则节点。最后,找到一种对因特网密钥交换(IKE)协议的攻击。

著录项

来源
《2009年全国理论计算机科学学术年会》|2009年|13-16|共4页
会议地点哈尔滨
作者
杨捷; 毋国庆; 左保河; 齐德昱;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类电子贸易、网上贸易;
关键词
半规则实体; 串空间; 电子商务; 利益驱动协议;

相似文献

中文文献
外文文献
专利

1. 一种增强电子商务协议安全性的形式化分析方法 [J] . 杨捷 ,毋国庆 ,左保河 . 计算机工程与科学 . 2009,第009期
2. 电子商务安全协议的一种形式化分析方法 [J] . 王亮 . 苏州大学学报（工科版） . 2010,第004期
3. 一种电子商务协议形式化分析方法 [J] . 卿斯汉 . 软件学报 . 2005,第010期
4. 无线网协议802.11i安全性的一种形式化分析方法 [J] . 张招亮 ,张广泉 . 苏州大学学报（自然科学版） . 2008,第003期
5. 增强视景系统形式化安全性分析方法研究 [J] . 董磊 ,荣灏 ,金志威 . 计算机仿真 . 2019,第012期
6. 一种增强Ad hoc网络路由协议安全性的方案 [C] . 朱晓妍 ,王育民 . CERNET第十届学术年会 . 2003
7. 电子商务协议安全性的形式化分析方法研究 [A] . 李云峰 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号