摘要
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 the important methods for the study of the security protocols. In the paper, we outline these methods, especially the symbolic trace analysis method the bisimulation method.
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 the important methods for the study of the security protocols. In the paper, we outline these methods, especially the symbolic trace analysis method the bisimulation method.
出处
《计算机科学》
CSCD
北大核心
2003年第6期23-26,共4页
Computer Science
基金
国家自然科学基金(90104026
60073001)
863计划资助
