Analysis of Andrew Secure RPC Protocol Based on Strand Space Model
Huifang Liu · Computer Programming Skills & Maintenance · 2012
Based on the model of Andrew secure RPC protocol,this paper analysis Andrew secure RPC protocol using the Strand Space model which is a formal method for analysis of security protocols and indicate the process of analysis of protocols and demonstrate the correctness of Andrew secure RPC on confidential and authentication using the mothod.Finally,we indicate the reason of the Andrew RPC drawbacks.