Improved logic system and quantification technology for security protocols
Zhu Yu-na · Jisuanji gongcheng yu sheji · 2008
An improved Blanchet first-order logic system and the attack tree model are introduced,some key concepts and propositions are presented.Compared with the Blanchet model,the improved model give plain attack sequences.The attack tree model has some properties as follows: describing the attacker’s attack actions vividly and immediately,quanitying the different methods correspondingly and realizing automatic search and storage by computer easily.