Abstract:Based on BAN s basic constructs and rules, the freshness in BAN logic is investigated. In this paper it is presented that some reasons why BAN logic is in practice unsound are not idealization problems, but problems what some basic rules result in. For the latter, a modified method is proposed to avoid similar problems.
宋荣功; 胡正名; 杨义先. 对BAN逻辑中新鲜子的研究[J]. 电子与信息学报, 2000, 22(3): 505-508 .
Song Ronggong; Hu Zhengming; Yang Yixian. THE INVESTIGATION OF THE FRESHNESS IN BAN LOGIC. , 2000, 22(3): 505-508 .