安全协议的设计与逻辑分析

被引：60
|
作者：
卿斯汉 [1 ]
机构：
[1] 中国科学院信息安全技术工程研究中心 北京100080中国科学院软件研究所信息安全国家重点实验室
来源：
软件学报 | 2003年 / 07期
关键词：
安全协议; 设计; 逻辑分析; BAN类逻辑; 串空间;
D O I：
10.13328/j.cnki.jos.2003.07.015
中图分类号：
TN915.08 [网络安全];
学科分类号：
0839 ;
摘要：
随着网络应用的迅速发展,网络安全的问题日益重要.研究下述课题:安全协议的设计原则;安全协议设计中形式化方法的应用;各种形式化分析方法,特别是逻辑分析方法的特点.另外,还探讨了串空间模型在逻辑分析中的应用以及串空间模型指导安全协议形式化设计的可能性.
引用
收藏
页码：1300 / 1309
页数：10
相关论文
共 8 条
  • [1] 认证协议的一些新攻击方法
    王贵林
    卿斯汉
    周展飞
    [J]. 软件学报, 2001, (06) : 907 - 913
  • [2] 一种新型的非否认协议
    卿斯汉
    [J]. 软件学报, 2000, (10) : 1338 - 1343
  • [3] 密码学与计算机网络安全[M]. - 清华大学出版社 , 卿斯汉著, 2001
  • [4] Towards a Strand Semantics for Authentication Logic[J] . Paul Syverson.Electronic Notes in Theoretical Computer Science . 2000
  • [5] Strand spaces: proving security protocols correct[J] . F. Javier Thayer Fábrega,Jonathan C. Herzog,Joshua D. Guttman.Journal of Computer Security . 1999 (2‐3)
  • [6] A critique of the Burrows, Abadi and Needham logic[J] . Dan M. Nessett.ACM SIGOPS Operating Systems Review . 1990 (2)
  • [7] USING ENCRYPTION FOR AUTHENTICATION IN LARGE NETWORKS OF COMPUTERS
    NEEDHAM, RM
    SCHROEDER, MD
    [J]. COMMUNICATIONS OF THE ACM, 1978, 21 (12) : 993 - 999
  • [8] Some new attacks upon authentication protocols .2 WangGL,QingSH,ZhouZF. Journal ofSoftware . 2001
1