|
|
THE INVESTIGATION OF THE FRESHNESS IN BAN LOGIC |
Song Ronggong; Hu Zhengming; Yang Yixian |
Dept. of Infor. Eng., Beijing University of Posts and Telecommunications Beijing 100876 |
|
|
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.
|
Received: 17 September 1998
|
|
|
|
|
|
|
|