Hlpsl2Cpp:Compiler for Security Protocols
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.