Reconstruction technology of attack sequence against security protocols
Zhu Yu-na · Jisuanji gongcheng yu sheji · 2008
Attack sequence describes attacker's action towards the security property of a protocol.The reconstruction of attack sequence technology is a new challenge to formal analysis of security protocols.The popular approaches are introduced and summarized,especially model checking based method,theorem proving based method,logic programming based method and so on.Advantages and shortages for each method are presented.Finally study for future development is suggested.