%0 Journal Article
%T Formal Specification of Security Protocols<br>安全协议的形式化规范
%A Hu Cheng-jun Zheng Yuan Lu Shu-wang Shen Chang-xiang
%A <br>胡成军
%A 郑援
%A 吕述望
%A 沈昌祥
%J 电子与信息学报
%D 2004
%I 
%X In this paper, a specification method using PVS is presented. Higher order logic is chosen as the specification language. Strong spy and ideal encryption are assumed, and trace model is used to define protocols' behaviors. Moreover, useful structures such as message, event, protocol rule, etc. are semantically encoded.
%K Security protocol
%K Formal specification
%K Prototype Verification System (PVS)<br>安全协议
%K 形式化规范
%K PVS
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=1319827C0C74AAE8D654BEA21B7F54D3&jid=EFC0377B03BD8D0EF4BBB548AC5F739A&aid=01090A5E03CD0E76&yid=D0E58B75BFD8E51C&vid=96C778EE049EE47D&iid=E158A972A605785F&sid=CF0706A3E35031F6&eid=B4F9D541F855CF96&journal_id=1009-5896&journal_name=电子与信息学报&referenced_num=3&reference_num=13