Improvement and analysis of Andrew RPC based on formal methods
Guang Zheng · Jisuanji gongcheng yu sheji · 2005
It is a hard problem in the area of computer network security to analyze cryptographic protocols. Using formal methods toanalyze cryptographic protocols remains the key issue in this field. A methodology is presented by using BAN logics to analyze the And-rew RPC (remote procedure call) authentication key establishment protocol. By formal methods based on BAN logics, some securitybug is discovered. In the end, this authentication key establishment protocol is improved and depicted.