网络支付协议的形式化安全需求及验证逻辑
| 外文标题 | A logic for the formal requirements and verification of network payment protocols |
| 文献类型 | 期刊 |
| 作者 | 刘怡文[1];李伟琴[2] |
| 机构 | [1]北京航空航天大学计算机学院,北京航空航天大学计算机学院 北京100083,北京100083 [2]北京航空航天大学计算机学院,北京航空航天大学计算机学院 北京100083,北京100083 ↓ |
| 来源信息 | 年:2004卷:25期:4页码范围:174-182 |
| 期刊信息 | 通信学报ISSN:1000-436X |
| 关键词 | 电子商务协议;形式化验证;安全性:原子性;公平性;匿名性;可追究性 |
| 摘要 | 从整个网络支付协议的安全角度出发,提出网络支付协议的多层安全需求模型,包括以认证和密钥分配为基础的基层需求、网络支付协议固有的中层需求(包括保密性、原子性、公平性、完整性、匿名性、不可否认性、可追究性等)、以及面向具体应用的高层需求.基于一阶逻辑和时序逻辑,提出一种适合描述网络支付协议的形式化安全需求的逻辑,描述了该逻辑的语法结构和推理规则,并用该安全需求逻辑对网络支付协议的多层安全需求进行了形式化描述.最后,以SET协议为例进行需求验证. |
| 收录情况 | PKU |
| 所属部门 | 计算机学院 |
| 链接地址 | http://d.g.wanfangdata.com.cn/Periodical_txxb200404024.aspx |
| DOI | 10.3321/j.issn:1000-436X.2004.04.024 |
| 人气指数 | 2 |
| 浏览次数 | 2 |
| 基金 | 国家高技术研究发展计划(863计划) |
全文
影响因子：
dc:title:网络支付协议的形式化安全需求及验证逻辑
dc:creator:刘怡文;李伟琴
dc:date: publishDate:2004-04-25
dc:type:期刊
dc:format: Media：通信学报
dc:identifier: LnterrelatedLiterature：通信学报.2004,25(4),174-182.
dc:identifier:DOI：10.3321/j.issn:1000-436X.2004.04.024
dc: identifier:ISBN:1000-436X
