Hlpsl2Cpp——一个安全协议编译器

• 作者: 周天凌 黄连生
• 来源期刊: 计算机应用研究
• 关键词: 代码生成 规范语言 安全协议 网络安全
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 信息安全
• 页码范围: 123-126
• 页数: 4页
• 分类号: TN915.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2007.06.038

摘要

安全协议的人工实现是一个低效且易错的过程.安全协议编译器Hlpsl2Cpp可以自动从用HLPSL语言描述的安全协议生成C+ +的协议实现代码.Hlpsl2Cpp节省了人工实现协议的大量重复劳动,避免了人工实现安全协议带来的各种讹误和实现相关漏洞.