用SMV验证SET协议的安全性

• 作者: 魏蓉
• 来源期刊: 中国科技博览
• 学科: 工学
• 关键词: 模型检验 SMV SET协议
• 年，卷（期）: 2008,（17）
• 所属期刊栏目: 应用技术
• 页码范围: 56-57
• 页数: 2页
• 分类号: TP393.08
• 字数: 1526字
• 语种: 中文

摘要

SMV是一个基于线性时态逻辑的符号化模型检验工具.本文利用SMV系统对典型的电子商务协议SET协议进行描述和验证,并得到SET协议的一个缺陷,最后讨论了一些利用此缺陷而存在的攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏蓉	西南科技大学计算机科学与技术学院	6	5	2.0	2.0