Reliability Analysis and Improvement of BAN Logic
Wei Li · Jisuanji gongcheng · 2012
Because an error condition may be added in BAN logic reasoning process,unsafe protocol can be verified safe.In order to solve the problem,this paper improves the formal description of message.An implicit but essential condition is added in the message-meaning inference rule,so that reliability of verification is enhanced.By defining message units of sending and reasoning,freshness rule is suitable to more kinds of protocols in safety verification.