Nowadays the research and exploitation of the case-based system are getting more and more attention.Case-Based Reasoning (CBR) is a strategy for solving the obj
Process algebra is the theories for concurrency. Now the methods based on process algebra for the analysis and verification of security protocols becomes one of