%0 Journal Article
%T 一个描述密码学安全协议的演算：spi演算
%A 曾小平 孙永强？
%J 计算机科学
%D 1999
%K spi演算密码学安全协议计算机安全
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=3442125&flag=1