%0 Journal Article
%T Model Checking and Cryptographic Protocol Analysis<br>模型检测技术和密码协议分析
%A 张玉清
%A 吴建平
%A 李星
%J 计算机科学
%D 2001
%I 
%X 1 引言密码协议是建立在密码体制基础上的一种交互通信的协议,它运行在计算机通信网或分布式系统中,借助于密码算法来达到密钥分配、身份认证等目的。目前密码协议已广泛应用于计算机通信网与分布式系统中,但密码协议安全性的论证仍是一个悬而未决的问题。九十年代以来,密码协议的形式化分析成为国际上的研究热点。这种方法的出发点是希望将密码协议形式化,而后借助于人工推导,甚至计算机的辅助分析,
%K 模型检测技术
%K 密码协议分析
%K 计算机通信网
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=FAD2AB47A77145C2&yid=14E7EF987E4155E6&vid=D3E34374A0D77D7F&iid=5D311CA918CA9A03&sid=BFE7933E5EEA150D&eid=95D537AC89B28832&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=13