Promela modeling and analysis for NSPK protocol
Chunling Chen · Telecommunications for Electric Power System · 2008
This paper puts forward the ideas and methods on the modeling of NSPK protocol.It introduces the key technology and method by using Promela for modeling.The use of Spin,which was used to simulate the model and check the attribute,is also discussed in the paper.The result shows that the model can not only guarantee the proper execution of the protocol,but also help to find some security flaws.