网络支付协议的形式化安全需求及验证逻辑

• 作者: 刘怡文 李伟琴
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 电子商务协议 形式化验证 安全性:原子性 公平性 匿名性 可追究性
• 年，卷（期）: 2004,（4）
• 所属期刊栏目: 学术通信
• 页码范围: 174-182
• 页数: 9页
• 分类号: TP309
• 字数: 5365字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2004.04.024

摘要

从整个网络支付协议的安全角度出发,提出网络支付协议的多层安全需求模型,包括以认证和密钥分配为基础的基层需求、网络支付协议固有的中层需求(包括保密性、原子性、公平性、完整性、匿名性、不可否认性、可追究性等)、以及面向具体应用的高层需求.基于一阶逻辑和时序逻辑,提出一种适合描述网络支付协议的形式化安全需求的逻辑,描述了该逻辑的语法结构和推理规则,并用该安全需求逻辑对网络支付协议的多层安全需求进行了形式化描述.最后,以SET协议为例进行需求验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘怡文	北京航空航天大学计算机学院	7	84	4.0	7.0
2	李伟琴	北京航空航天大学计算机学院	37	324	9.0	17.0