BAN逻辑与串空间的比较
A Comparison Between BAN-logic and Strand Space

缪祥华 LXH

摘要


研究了2种安全协议的分析方法,即BAN逻辑和串空间. 利用这2种方法分别分析了Needham - Schroeder公钥协议,指出了这2种方法各自的优点和缺点. 在对这2种方法进行了比较后,指出了这2种方法有2种结合方式. 1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.
This paper researches two analysis methods for security protocols,namely BAN-logic and strand space.The paper utilizes BAN-logic and strand space to analyze Needham-Schroeder public key protocol,and presents advantages and disadvantages of BAN-logic and strand space.After comparing these two analysis methods,the paper presents that these analysis methods have two combination ways.One is to provide strand space semantic of BAN-logic,the other is serial.If one protocol needs analyzing,the protocol is analyzed...

参考



全文: PDF      下载: 806      浏览: 1179


counter for myspace
云南民族大学学报(自然科学版) 1991—2016 Copyright
地址:云南省昆明市一二.一大街134号 邮编:650031 全国邮发代号:64-47
电话:0871-65132114 传真:0871-65137493 Email:ynmzxyxb@163.com