ProVerif Editor 0.2
ProVerif を使用して SPI 微積分で指定されたプロトコルを編集および確認するエディター。
バージョン履歴
- バージョン 0.2 に転記 2010-01-08
いくつかの修正と更新 - バージョン 0.2 に転記 2010-01-08
プログラムの詳細
- カテゴリ: セキュリティとプライバシー > 他
- パブリッシャー: proverifeditor.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 0.2
- プラットフォーム: windows
関連プログラム
-
Child Computer Time Out 無料トライアル
あなたの子供がオンラインやゲームをプレイするのにあまりにも多くの時間を費やしているのではないかと心配している場合、またはあなたが眠っているか家から離れているときにPCを使用したくない場合は、このタイプのソフトウェアが解決策を提供します。これにより、お子様がコンピュータまたはオンラインで費やす時間に制限を設定できます。子コンピュータのタイムアウトを使用すると、コンピュータをいつ、どのくらいの期間使用できるかを指定し、制限なしでコンピュータを使用でき
-
Cloud Online Backup 無料トライアル
Cloudonlineバックアップは、オンラインバックアップのための高速で簡単で安全なソリューションです。すべての転送を安全かつ暗号化し、バックグラウンドで実行し、データ損失が危険にさらされないようにします。以前のバージョンのファイルは保持され、オンライン バックアップから簡単に復元できます。ファイルは、Web インターフェイスによって常にアクセスできます。
-
Hackademic Challenges 無料
ハッカデミックチャレンジは、ウェブアプリケーションのセキュリティに関する知識をテストするのに役立つオープンソースプロジェクトです。現実的で制御可能で安全な環境で実際に Web アプリケーションを攻撃するために使用できます。
-
Internet History Washer 無料トライアル
インターネットサーフィンの痕跡をクリアする簡単な方法誰も見つけることができません:- あなたが訪問したサイト- 検索したもの- パスワード- そして、リピート訪問者としてあなたを識別するためにそれを確実にするために、プログラムは次のことをクリアします。- インターネット一時ファイルとクッキー- 歴史- 最近入力した URL- オートコンプリートフォーム履歴
-
Fast Windows Hider 無料トライアル
高速 Windows ハイダーは、一度に任意のウィンドウ (アプリケーション) を非表示にするのに役立つ保護ツールです。ホットキーを押すか、アイコンをクリックするだけです。インターネット エクスプローラまたは他のインターネット ブラウザ、ICQ、AIM、IRC、Word、映画、ゲーム、電子メール、写真、またはプライベートにしたい他のウィンドウを非表示にすることができます。高速Windowsハイダーを使用すると、ウィンドウを閉じたり最小化したりする
-
Openwall wordlists collection 無料トライアル
パスワード・リカバリー・ユーティリティーで使用するためのワードリストの広範なコレクション。このコレクションには、20以上の人間言語のワードリストと一般的なパスワードのリストが含まれています。含まれる言語は、アフリカーンス語、クロアチア語、チェコ語、デンマーク語、オランダ語、英語、フィンランド語、フランス語、ドイツ語、ハンガリー語、イタリア語、日本語、ラテン語、ノルウェー語、ポーランド語、ロシア語、スペイン語、スワヒリ語、スウェーデン語、トルコ語、
-
OneNote Password Recovery 無料トライアル
OneNote のパスワード回復は、Microsoft OneNote ノートブックのパスワードの紛失または忘れを回復するプログラムです。多言語パスワードがサポートされています。すべてのバージョンの OneNote がサポートされています。
-
One Click Privacy 無料トライアル
ワンクリックプライバシーは、完全にワンクリックですべてのインターネット活動、キャッシュされたパスワードとクレジットカード情報、IMログ、メディアプレーヤーの記録、検索エンジンのクエリやアプリケーションの使用を消去します!あなたのトラックをカバー!PC 上で何が起こっても、PC 上に残ります。コンピュータは、すべてのウェブサイトが訪問したほとんどすべて、すべてのインターネット活動、検索エンジンの問い合わせ、写真、音楽、ビデオの閲覧、アクセス、ダウン
-
RC4.NET 無料
RC4.NETは、.NET 環境で対称 RC4 アルゴリズムを使用した暗号化/復号化のサポートを追加するライブラリです。ライブラリは C# 言語で記述され、Microsoft CLR と Mono プラットフォームの両方で同様に適切に機能します。
-
Secure File Encryption Program 無料
クリプトグラピー、プログラミングなどについて学ぶために書かれたオープンソースファイルの暗号化。 そして、うまくいけば、一般の人々に利益をもたらすかもしれないいくつかの新しい暗号化技術を考え出します。