An Approach to the Formal Analysis of TMN Protocol
Yuqing Zhang, Liu Xiu-ying · Kluwer Academic Publishers eBooks · 2006
This paper analyzes the TMN protocol completely using a formal analysis method called the Running-Mode Analysis and uncovers a number of attacks on the TMN protocol. These attacks are classified according to the detailed forms and the different intentions of the intruder. Finally, combining with the known attacks, the authors deduce that the Running-Mode Analysis can analyze the TMN protocol effectively.