Submit Software
  1. Home
  2. Windows
  3. Other
  4. Provable Security Under Virtualization

Provable Security Under Virtualization

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes
Download

Provable Security Under Virtualization: The project is about proving security of hypervisor. Background: Provable security is a concept that is increasingly used to provide rigorous assurances that a system meets speci ed security prop- erties. Design an

VERSION HISTORY

  • Version N/A posted on 2010-02-09
    Several fixes and updates
  • Version N/A posted on 2010-02-09

Program Details

Related Programs

  • IHE open source Free

    This project holds an implementation of the Cross-Enterprise Document Sharing (XDS) profile as defined by IHE (ihe.net). It includes implementations of both the Document Registry and Document Repository actors.

  • PypeR Free

    A light-weight Python package for facilitating the user to use R in Python through PIPE. PypeR can be used with Python 2.3 or later, Python 3.X, Jython, or IronPython. Please refer to http://www.webarray.org/softwares/PypeR/

  • DnsResolve Free

    A Small program To Resolve A Hostname To An IP Written In Mono C#. NOTE:This project is abandonware Because I Think I Could Be Writing A More Useful program.

  • Blind Air Traffic Controller Simulation Free

    The project is to create an enviornment where a blind person could direct air traffic with the use of their sense of touch and hearing. And then to test it on some blind subjects in the ATC simulation community online in real

  • log365rf Free

    Software for the Voltcraft(R) IR-365RF wireless infrared thermometer

  • mtpsd Free

    Multi-Taper Power Spectral Density library (C++), computes the Thomson multitaper spectrum estimate of a time series. Includes adaptive weighting, confidence intervals and F-test. Package also includes an Octave dynamical ext

  • PlexAP Free

    A collection of resources to facilitate automatic wireless meshing using Linux, prism2 based wireless cards and OSPF. An totally different alternative to MeshAP and AODV.

  • NDoclet Free

    NDoclet is a Javadoc Doclet that generates MSDN-style API documentation from Java source code.

  • Nettlers Free

    Based on the popular board game Settlers/Seafarers of Catan, Nettlers is a multi-player computer version to be played over the internet. Currently only Windows is support, ports expected soon.

  • Horeca Statistics Free

    Reporting & Charting tool for Horeca (Sales) App (exported to MS Excel)