%0 Journal Article
%T CCS-based Cryptographic Protocol Analysis<br>基于CCS的加密协议分析S
%A DING Yi-qiang
%A <br>丁一强
%J 软件学报
%D 1999
%I 
%X Formal methods and tools are key aspects for the analysis of cryptographic protocols. In this paper, a formal language PEP (principals+environment=protocol) for the specification of cryptographic protocols is proposed. For some cryptographic protocols, their PEP specifications can be translated into finite basic CCS processes, so it is possible to analyze the security properties using CCS-based tools such as CWB (concurrency workbench). The advantage of the mothod proposed in this paper is that the actions of the attacker can be implicitly specified, and if the potential back door of the protocol analyzed exists, the attacking action trace can be explicitly found out by model checker.
%K CCS<br>加密协议
%K 协议分析
%K 形式化方法
%K 模型检查
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=224C7B02D1F329A2A926714C66859395&yid=B914830F5B1D1078&vid=F3090AE9B60B7ED1&iid=F3090AE9B60B7ED1&sid=17FE7A1C78626A81&eid=DFBBF6D86DD97199&journal_id=1000-9825&journal_name=软件学报&referenced_num=4&reference_num=6