Hlpsl2Cpp——一个安全协议编译器 | |
周天凌 ; 黄连生 ; ZHOU Tian-ling ; HUANG Lian-sheng | |
2010-06-09 ; 2010-06-09 | |
关键词 | 代码生成 规范语言 安全协议 网络安全 code generation specification language security protocol network security TP314 TP309 |
其他题名 | Hlpsl2Cpp:Compiler for Security Protocols |
中文摘要 | 安全协议的人工实现是一个低效且易错的过程。安全协议编译器Hlpsl2Cpp可以自动从用HLPSL语言描述的安全协议生成C++的协议实现代码。Hlpsl2Cpp节省了人工实现协议的大量重复劳动,避免了人工实现安全协议带来的各种讹误和实现相关漏洞。; 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. |
语种 | 中文 ; 中文 |
内容类型 | 期刊论文 |
源URL | [http://hdl.handle.net/123456789/55526] ![]() |
专题 | 清华大学 |
推荐引用方式 GB/T 7714 | 周天凌,黄连生,ZHOU Tian-ling,等. Hlpsl2Cpp——一个安全协议编译器[J],2010, 2010. |
APA | 周天凌,黄连生,ZHOU Tian-ling,&HUANG Lian-sheng.(2010).Hlpsl2Cpp——一个安全协议编译器.. |
MLA | 周天凌,et al."Hlpsl2Cpp——一个安全协议编译器".(2010). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论