Applications of formal description techniques in communication protocols security analysis

This paper expounded applications of FDTs(formal description techniques) in security analysis of communication protocols.The research point was how to make layered models with attacking characteristics of communication protocols in order to do formal verification,find weaknesses and choose right defending measures.It also gave an instance of Petri-net modeling and suggested some other applications of FDTs in security analysis of communication protocols.