%0 Journal Article
%T Freshness analysis of security protocol based on GSPM<br>基于GSPM的安全协议新鲜性分析
%A ZHOU Lu
%A GU Yong-gen
%A <br>周璐
%A 顾永跟
%J 计算机应用研究
%D 2007
%I 
%X Formal methods can be used to verify security protocols by specification and illation. GSPM is a generic formal model of security protocols. A new definition named freshness was added to GSPM, which formally described a special security property. A case study was given on the Andrew Secure RPC protocol with the renewed model.
%K security protocol
%K freshness
%K GSPM<br>安全协议
%K 新鲜性
%K 一般安全协议模型
%K 安全协议
%K 新鲜性
%K 协议形式化分析
%K based
%K security
%K protocol
%K analysis
%K 研究
%K Secure
%K 范围
%K 扩展
%K 安全性质
%K 形式化描述
%K 一般模型
%K 安全要求
%K 检验
%K 数学推理
%K 规范描述
%K 形式化分析方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=C793235A4E87B8F6A55EBB42E7E258A8&yid=A732AF04DDA03BB3&vid=B91E8C6D6FE990DB&iid=708DD6B15D2464E8&sid=475189FCB44F11F6&eid=769BD58726D66E7D&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=7