Two Flaw of BAN-like Logics
Longge Wang · Computer Knowledge and Technology · 2011
BAN-like logics is an important method of formal analysis of secure protocol.BAN-like logic is based on BAN logic.By BAN logic study presents two important flaws of BAN-like logics,the lack of environmental models and the lack of the analysis,of integrity.And then gives out the further research directions.