Study on Analysis of SAS Protocol and NS Protocol Based on SPIN
Rongsheng Dong · Journal of Guangxi Academy of Sciences · 2008
Protocol verification procedures based on model checking technique using SPIN were provided,then these procedures were used to analyze and verify the safty and function property in the SAS protocol,and the security and authentication property in the NS protocol.The results show that the flaw in the data flow of SAS protocol and the attacking path of NS protocol are detected.