%0 Journal Article
%T 安全协议20年研究进展
%A 卿斯汉
%J -
%D 2003
%X 总结了安全协议的20年研究进展情况,指出形式化方法在安全协议的设计与分析中的重要应用.对安全协议的若干热点研究方向进行了归纳和展望
%K 安全协议 设计 分析 形式化方法
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20031009&flag=1