Network Security Toolkit

Network Security Toolkit

このブータブルISOライブCD / DVD(NST Live)はFedoraに基づいています。
このブータブルISOライブCD / DVD(NST Live)はFedoraに基づいています。このツールキットは、最善のオープンソースネットワークセキュリティアプリケーションに簡単にアクセスできるように設計されており、ほとんどのx86 / x86_64プラットフォームで実行する必要があります。このツールキットを開発した主な目的は、ネットワークセキュリティ管理者に包括的なオープンソースネットワークセキュリティツールセットを提供することでした。記事で公開されているツールの大部分:INSECURE.ORGによるTop 125 Security Toolsは、ツールキットで利用できます。NSTディストリビューション内にある多くのネットワークおよびセキュリティアプリケーションのシステム/ネットワーク管理、ナビゲーション、自動化、ジオロケーション、および構成のために、高度なWebユーザーインターフェイス(WUI)が提供されています。仮想世界では、NSTは、仮想マシンをホストするエンタープライズ仮想サーバー上のネットワークセキュリティ分析、検証、および監視ツールとして使用できます。
network-security-toolkit

WebのNetwork Security Toolkitの代替

F*

F*

F *は、プログラムの検証を目的としたMLに似た関数型プログラミング言語です。F *は、機能の正確さのプロパティなど、プログラムの正確な仕様を表現できます。F *で書かれたプログラムは、実行のためにOCamlまたはF#に変換できます。