用于正式验证的 Rust 代码生成器
Noise Explorer简介
Noise Explorer 在线引擎，用于协议框架 Handshake 模式。
命令行工具可以据原始规范解析 Noise Handshake Patterns，比如可以生成用于形式化验证的加密模型、安全查询，以及用于针对主动或被动攻击者进行测试，还可以为 Go 和 Rust 编程的任何 Noise Handshake Pattern 生成全功能的离散实现。
Noise Explorer
访问网站
手机查看
