论文研究 Hlpsl2Cpp——一个安全协议编译器.pdf 上传者：宛陵秋 2020-07-30 11:02:18上传 .PDF文件 58KB 热度 29次 安全协议的人工实现是一个低效且易错的过程。安全协议编译器Hlpsl2Cpp可以自动从用HLPSL语言描述的安全协议生成C 的协议实现代码。Hlpsl2Cpp节省了人工实现协议的大量重复劳动，避免了人工实现安全协议带来的各种讹误和实现相关漏洞。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
