%0 Journal Article
%T Hlpsl2Cpp:Compiler for Security Protocols<br>Hlpsl2Cpp——一个安全协议编译器
%A ZHOU Tian-ling
%A HUANG Lian-sheng
%A <br>周天凌
%A 黄连生
%J 计算机应用研究
%D 2007
%I 
%X Implementing security protocols manually is a very slow and error-prone process.The tool Hlpsl2Cpp automatically generates C code implementing security protocols described in the formal specification language HLPSL.Hlpsl2Cpp avoids the repetitive manually work for implementing security protocol,prevents the misunderstanding in the implementing process of the protocols specification,and blocks a lot of implementation related flaws.
%K code generation
%K specification language
%K security protocol
%K network security<br>代码生成
%K 规范语言
%K 安全协议
%K 网络安全
%K 安全协议
%K 编译器
%K Security
%K Protocols
%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=EF4AD2E7BFCF0B308F52855F034E974E&yid=A732AF04DDA03BB3&vid=B91E8C6D6FE990DB&iid=B31275AF3241DB2D&sid=AE09EACBCD1B2A13&eid=6FBD78E3BAB60869&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=12