文献类型：期刊文章

作　　者：白硕[1] 隋立颖[1] 陈庆锋[1] 付岩[1] 庄超[1]

机构地区：[1]国家智能计算机研究开发中心,北京100080

出　　处：《软件学报》

基　　金：国家 8 6 3高科技项目基金! (No.86 3- 30 6 - ZD- 10 - 0 2 )资助

年　　份：2000

卷　　号：11

期　　号：2

起止页码：213-221

语　　种：中文

收录情况：AJ、BDHX、BDHX1996、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

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

关 键 词：信息安全 协议验证  INTERNET网 密码学

分 类 号：TP309]