Abstract
CSP method is very effective for analyzing security protocol, find security attack. But because of the limitation of limited resources, only limited instance verification can be completed. To make up for the inadequacy of CSP protocol model, the CSP mode lis extended to solve the problem of limited detecting in this paper. And then it is proved that the correctness of the extended model based on the related definitions and propositions by using the method of theoretical proof, from several aspects, such as data type of the model, process of trusted agent, process of intruder, process of manager.
Publisher
Trans Tech Publications, Ltd.