PDA - The Protocol Derivation Assistant
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://pda.cvs.sourceforge.net/pda
に関しては PDA - The Protocol Derivation Assistant
Pda は、セキュリティ プロトコルの派生アプローチに対するツールサポートを提供します。プロトコル、モデル、セキュリティプロパティは、グラフィカルユーザーインターフェイスを介して入力されます。Pda は、プロトコルとそのモデルの改良とインクリメンタルな正確性の証明をサポートします。
関連プログラム
-
KwikBASIC BASIC Interpreter 無料
KwikBASIC は、フリーベーシックで書かれた BASIC インタプリタで、FreeBASIC 構文に密接に従います。
-
UniboStreamingProject 無料
RTP / RTCP を使用したマルチキャスト オーディオ ストリーミングと、RTSP を使用したオンデマンド オーディオ ビデオ ストリーミングをサポートするクライアント サーバー ストリーミング アプリケーションです。負荷分散と障害復旧ポリシーをサポート
-
FluxWin 無料
FluxWin はシグウィン/XFree86 プラットフォーム用のフラックスボックスのポートです。私はFluxBoxソースを取り、Cygwinの下でコンパイルされない部分をハッキングしました。最新の動作バージョンは、Fluxbox 0.9.7 に基づく 0.0.1 です。
-
ctInstaller Suite 無料
シンプルなセットアッププログラム/作成者。すべてのセットアップデータは、exeファイルとして保存されます(再オープンすることができます)ファイル/データが圧縮されます。セットアップ中に一時ファイルが存在しない コンポーネントとセットアップ操作はスクリプトベースです。vb6 プログラム用に設計された (msvbvm60.dll が必要) Uninstal
-
Remote Installer Starter 無料
ローカルネットワーク用のこのソフトウェア監査ツールは、リモートPCにインストールされたアプリケーション上のデータを収集することができます。収集された情報はデータベースに保存され、ネットワーク コンピュータごとにソフトウェア インベントリ レポートを生成し、ソフトウェアの変更を追跡するために使用できます。インストール済みアプリケーションの現在のリストと、以前に保存されたインベントリー・レポートを比較して、各 PC のソフトウェア変更のリストを取得で
-
chrootbin 無料
Chrootbin は、基本的な chroot 環境を作るのに役立つツールです。それはあなたがゼロからchrootを作るの退屈な部分をスキップすることができます。また、strace や find などの他の実行可能ファイルをインストールするのにも役立ちます。
-
NSClient for Nagios 無料
Nagios 監視フレームワークで使用する Windows サーバーの NSClient 監視エージェント。
-
sockthread 無料
SockThread はマルチスレッド ソケットの実装です。これは、Telnet 接続用のエコー サーバーを備えた組み込みです。最初は、標準のネイティブ C/C++ ライブラリで記述されています。C++ クラス std::スレッドと C ソケット API が使用されました。
-
Like-C compiler 無料
Like-C コンパイラは、字句解析、文法解析、セマンティック分析、スタック仮想マシンの実行など、コンパイラの作業を知りたいユーザーに役立つように設計された、小さくて使いやすいアプリケーションです。
-
Drupal Video Tutorial | Drupal Video Tut 無料
ステップバイステップのビデオチュートリアルは、迅速かつ簡単にDrupalを征服する方法に関するショートカットの秘密を明らかにします。http://www.drupaltutorials.org/index.php