安全协议的验证逻辑

• 作者: 付岩 庄超 白硕 陈庆锋 隋立颖
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 信息安全 协议验证 动态逻辑 非单调逻辑
• 年，卷（期）: 2000,（2）
• 页码范围: 213-221
• 页数: 9页
• 分类号: TP309
• 字数: 6599字
• 语种: 中文

摘要

该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则,举例说明了这一逻辑框架在验证安全协议方面的应用,并讨论了需要进一步解决的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	庄超		2	91	2.0	2.0
2	白硕		6	197	5.0	6.0
3	陈庆锋		4	161	4.0	4.0
4	隋立颖		4	161	4.0	4.0
5	付岩		1	59	1.0	1.0