A Combined Analysis Method of Andrew Secure RPC Protocol
Wang Hongqi · Journal of Sichuan University of Science & Engineering · 2008
Logic and model checking are two important analysis methods of security protocols.Logic is simple and visual but it is not complete enough.Model checking has high automation and can generate counter examples which do not satisfy the properties needed.In the paper,Andrew Secure RPC protocol is firstly analyzed by BAN logic,then it is analyzed by model checking on the base.The result shows that compared with logic method,the combined method can get more overall and more specific results.