%0 Journal Article
%T Analysis and Verification of Security Protocols Based on Process Algebra<br>基于进程代数的安全协议分析与验证
%A LI Meng-Jun LI Zhou-Jun CHEN Huo-Wang
%A <br>李梦君
%A 李舟军
%A 陈火旺
%J 计算机科学
%D 2003
%I 
%X 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.
%K Process algebra
%K Cryptographic protocol
%K Analysis
%K Verification<br>网络攻击
%K 安全协议
%K 进程代数
%K 计算机网络
%K 网络安全
%K 加密体系
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=C1B916156B53DE41&yid=D43C4A19B2EE3C0A&vid=340AC2BF8E7AB4FD&iid=B31275AF3241DB2D&sid=EA389574707BDED3&eid=96C778EE049EE47D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=15