Model Checking of WTP Protocol Via SPIN
Feng Jie · Computer Knowledge and Technology · 2008
This paper deals with a formal verification of WTP,where the model checking approach is applied by SPIN model checker.ThePromela model is developed and LTL specifications of secrecy are given. Eventually,some defects has been revealed.