|
|
A NOTE ON THE AUGMENTATION OF BAN-LIKE LOGICS |
Zheng Dong; Tian Jianbo; Wang Yumin |
Lab. 105 Xidian University Xi 'an 710071 |
|
|
Abstract This paper points out a mistake occurred in the Protocol(1)(W.Mao, 1995), the mistake is due to a wrong initial assumption, also this paper shows the weakness of the N-u based-rules. Finaly, an application of the N-u rules is given by an example.
|
Received: 24 October 1997
|
|
|
|
|
|
|
|