Welcome to Journal of University of Chinese Academy of Sciences,Today is

›› 2002, Vol. 19 ›› Issue (3): 295-305.DOI: 10.7523/j.issn.2095-6134.2002.3.012

Previous Articles     Next Articles

On the Improvement of BAN Logic Analysis

MENG Jiang-Tao, FENG Deng-Guo, HU Zheng-Yu   

  1. State Key Laboratory of Information Security, Institute of Software, Chinese Academy of Science, Beijing 100080
  • Received:2002-06-06 Online:2002-05-18

Abstract:

To solve the problems that BAN logic analysis tends to neglect the potential defect of "send again attack" for cryptographic protocols,is made some improvement to the new message judgement of logic postulate of BAN logic analysis, aiming at reducing the misleading probability of BAN logic

Key words: cryptographic protocol, logic analysis, send again attack

CLC Number: