一种分析电子现金协议的工具

• 作者: 李楹 陈鲁生
• 来源期刊: 南开大学学报（自然科学版）
• 学科: 工学
• 关键词: 电子现金 形式化分析 实体框架 顺序图
• 年，卷（期）: 2010,（3）
• 页码范围: 40-45
• 页数: 6页
• 分类号: TP309.2
• 语种: 中文

摘要

引入顺序图描述安全协议,提出实体框架模型分析电子现金协议.通过实体框架,可以确定协议各参与者以及敌手的能力,明确匿名性等安全特性的语义含义,清晰地对电子现金这种复杂协议进行形式化分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈鲁生		34	126	5.0	9.0
2	李楹		2	4	1.0	2.0