Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Provable Security Under Virtualization

Provable Security Under Virtualization

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎1 ‎Voti
Scaricare

Sicurezza dimostrabile in virtualizzazione: il progetto riguarda la dimostrazione della sicurezza dell'hypervisor. Contesto: La sicurezza dimostrabile è un concetto che viene sempre più utilizzato per fornire garanzie rigorose che un sistema soddisfa specifiche proprietà di sicurezza. Progettare un

cronologia delle versioni

  • Versione N/A pubblicato il 2010-02-09
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2010-02-09

Dettagli del programma

Programmi correlati

  • IHE open source Gratuito

    Questo progetto contiene un'implementazione del profilo XDS (Cross-Enterprise Document Sharing) come definito da IHE (ihe.net). Include implementazioni degli attori del Registro di sistema dei documenti e del Repository docum

  • PypeR Gratuito

    Un pacchetto Python leggero per facilitare l'utente a utilizzare R in Python tramite PIPE. PypeR può essere usato con Python 2.3 o versioni successive, Python 3.X, Jython o IronPython. Si prega di fare riferimento http://www.

  • DnsResolve Gratuito

    Un piccolo programma per risolvere un nome host in un IP scritto in mono c#. NOTA: Questo progetto è abandonware Perché penso che potrei scrivere un programma più utile.

  • Blind Air Traffic Controller Simulation Gratuito

    Il progetto mira a creare un ambiente in cui un non vedenti possa dirigere il traffico aereo con l'uso del proprio senso del tatto e dell'udito. E poi testarlo su alcuni soggetti ciechi nella comunità di simulazione ATC onlin

  • log365rf Gratuito

    Software per il termometro wireless a infrarossi Voltcraft(R) IR-365RF

  • mtpsd Gratuito

    Multi-Taper Power Spectral Density library (C++), calcola la stima dello spettro multitapero Thomson di una serie temporali. Include ponderazione adattiva, intervalli di confidenza e test F. Il pacchetto include anche un'este

  • PlexAP Gratuito

    Una raccolta di risorse per facilitare il meshing wireless automatico utilizzando Linux, schede wireless basate su prism2 e OSPF. Un'alternativa totalmente diversa a MeshAP e AODV.

  • NDoclet Gratuito

    NDoclet è un doclet Javadoc che genera la documentazione api in stile MSDN dal codice sorgente Java.

  • Nettlers Gratuito

    Basato sul popolare gioco da tavolo Settlers/Seafarers of Catan, Nettlers è una versione per computer multi-player da giocare su Internet. Attualmente solo Windows è supportare, porte previste a breve.

  • Horeca Statistics Gratuito

    Strumento Reporting & Charting per l'app Horeca (Vendite) (esportata in MS Excel)