%0 Journal Article
%T 基于进程代数的安全协议分析与验证
%A 李梦君 李舟军 陈火旺？
%J 计算机科学
%D 2003
%X processalgebraisthetheoriesforconcurrency.nowthemethodsbasedonprocessalgebrafortheanalysisandverificationofsecurityprotocolsbecomesoneoftheimportantmethodsforthestudyofthesecurityprotocols.inthepaper,weoutlinethesemet
%K 网络攻击安全协议进程代数计算机网络网络安全加密体系
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=8806815&flag=1