ソフトウェアの提出
  1. ホーム
  2. Windows
  3. 他
  4. Provable Security Under Virtualization

Provable Security Under Virtualization

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 3.0/5 - ‎1 ‎投票
ダウンロード

仮想化の下でのセキュリティの実証: プロジェクトはハイパーバイザーのセキュリティを証明することです。背景: 立証可能なセキュリティは、システムが speci ed セキュリティ の推進の誤りを満たしていることを厳密に保証するためにますます使用される概念です。デザイン

バージョン履歴

  • バージョン N/A に転記 2010-02-09
    いくつかの修正と更新
  • バージョン N/A に転記 2010-02-09

プログラムの詳細

関連プログラム

  • IHE open source 無料

    このプロジェクトは、IHE (ihe.net) で定義されたクロスエンタープライズ ドキュメント共有 (XDS) プロファイルの実装を保持します。これには、ドキュメント レジストリとドキュメント リポジトリの両方のアクターの実装が含まれています。

  • PypeR 無料

    ユーザーが Pipe を介して Python で R を使用することを容易にするための軽量な Python パッケージ。パイペラーは、Python 2.3 以降、Python 3.X、Jython、または IronPython で使用できます。バグ修正についてはhttp://www.webarray.org/softwares/PypeR/を参照してください

  • DnsResolve 無料

    ホスト名を Mono C# で記述された IP に解決するための小さなプログラム。メモ:私はより便利なプログラムを書くことができると思うので、このプロジェクトは放棄ウェアです。

  • Blind Air Traffic Controller Simulation 無料

    このプロジェクトは、目の不自由な人が触覚と聴覚を使って航空交通を指示できる環境を作り出すプロジェクトです。そして、目撃者とリアルタイムでオンラインATCシミュレーションコミュニティのいくつかの盲目の被験者でそれをテストします。

  • log365rf 無料

    ボルトクラフト(R) IR-365RF無線赤外線温度計用ソフトウェア

  • mtpsd 無料

    マルチテーパーパワースペクトル密度ライブラリ(C++)は、トムソンマルチテーパスペクトルの時系列の推定値を計算します。適応重み付け、信頼区間、F検定が含まれます。パッケージには、オクターブの動的拡張(oct-file)も含まれています

  • PlexAP 無料

    Linux、prism2 ベースのワイヤレス カードおよび OSPF を使用して自動ワイヤレス メッシュを容易にするリソースのコレクション。 メッシュ AP と AODV に対してはまったく異なる代替手段です。

  • NDoclet 無料

    NDoclet は、Java ソースコードから MSDN スタイルの API ドキュメントを生成する Javadoc ドックレットです。

  • Nettlers 無料

    人気のボードゲームカタンのセトラーズ/船員に基づいて、Nettlersは、インターネット上で再生されるマルチプレイヤーコンピュータバージョンです。 現在、Windowsのみがサポートされていますが、ポートはすぐに期待されます。

  • Horeca Statistics 無料

    ホレカ (販売) アプリケーションのレポートとグラフ作成ツール (MS Excel にエクスポート)