【摘要】 基于BAN逻辑的协议分析往往容易忽略密码协议潜在的“重放攻击”漏洞,为解决这一问题,对BAN逻辑分析的新消息判断法则逻辑公设作了一点改进.从而降低了BAN逻辑分析的误导性.更多还原

【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 analy-更多还原