Noise Explorer beta

Noise Explorer 命令行工具

Noise Explorer 命令行工具可以根据原始规范解析 Noise 握手模式。它可以生成用于形式化验证的加密模型，包括安全查询、高层次的处理和恶意操作者，用于针对主动或被动攻击者的测试。

Noise Explorer 还可以将 ProVerif 输出的结果呈现为优雅且易于阅读的 HTML 格式：模式结果是使用 Noise Explorer 命令行工具生成的，这些结果可以在本网站上浏览。

			$> node noiseExplorer --help
			Noise Explorer version 0.3 (specification revision 34)
			Noise Explorer has three individual modes: generation, rendering and web interface.

			Generation:
			--generate=(json|pv|go|rs|wasm): Specify output format.
			--pattern=[file]: Specify input pattern file (required).
			--attacker=(active|passive): Specify ProVerif attacker type (default: active).

			Rendering:
			--render: Render results from ProVerif output files into HTML.
			--pattern=[file]: Specify input pattern file (required).
			--activeModel=[file]: Specify ProVerif active attacker model.
			--activeResults=[file]: Specify active results file for --render (required).
			--passiveResults=[file]: Specify passive results file for --render (required).

			Web interface:
			--web=(port): Make Noise Explorer's web interface available at http://localhost:(port) (default: 8000).

			Help:
			--help: View this help text.
			

许可证

。

包括本网站在内的所有 Noise Explorer 软件均采用GNU通用公共许可证第3版进行授权。

下载 Noise Explorer 到您的电脑

。

欢迎您查看 Noise Explorer 代码库