安全协议的验证逻辑

被引：19

作者：

白硕

隋立颖

陈庆锋

付岩

庄超

机构：

[1] 国家智能计算机研究开发中心!北京

来源：

关键词：

信息安全; 协议验证; 动态逻辑; 非单调逻辑;

D O I：

10.13328/j.cnki.jos.2000.02.009

中图分类号：

TP309 [安全保密];

学科分类号：

081201 ; 0839 ; 1402 ;

摘要：

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

引用

页码：213 / 221

页数：9