%0 Journal Article
%T Formally Analyzing Security Protocol Using Approximation of Tree Language<br>基于树语言逼近的安全协议形式化分析
%A LIU Nan
%A ZHU Wen-ye
%A ZHU Yue-fei
%A CHEN Chen
%A <br>刘楠
%A 朱文也
%A 祝跃飞
%A 陈晨
%J 计算机科学
%D 2010
%I 
%X Formal method and automated tools are both necessary and efficient for analyzing practical security protocols.Theorem proving theory has been studied intensively because it can verify infinite-state system.But there are still limitations when verifying large scale system automatically.A formal model for security protocols was proposed based on theorem proving and rewriting approximation theory.It utilizes term rewriting system and tree automata to model protocol and the knowledge of intruder.An automatic ge...
%K Security protocol
%K TRS
%K Tree automata
%K Tree language
%K Approximation
%K Secrecy
%K Authentication<br>安全协议
%K 项重写
%K 树自动机
%K 树语言
%K 逼近
%K 秘密性
%K 认证性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=BC8FD0720E0B38B1E336279B45713BAB&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=CA4FD0336C81A37A&sid=5BC9492E1D772407&eid=F1A8654ADB4E656E&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=14