Provable Security Under Virtualization
您将能够在 5 秒内下载。
关于 Provable Security Under Virtualization
虚拟化下的可证明安全性:该项目是关于证明虚拟机管理程序的安全性。背景:可证明安全性是一个概念,它越来越多地用于提供严格的保证,保证系统满足特定安全支持条件。设计
相关软件
-
IHE open source 免费
此项目包含 IHE (ihe.net) 定义的跨企业文档共享 (XDS) 配置文件的实现。它包括文档注册表和文档存储库参与者的实现。
-
PypeR 免费
一种轻量级 Python 包,用于通过 PIPE 方便用户在 Python 中使用 R。PypeR 可与 Python 2.3 或更晚、Python 3.X、Jython 或 IronPython 一起使用。有关错误http://www.webarray.org/softwares/PypeR/,请参阅此程序
-
DnsResolve 免费
用于解析主机名到以单声道 C# 编写的 IP 的小型程序。注意:这个项目是放弃软件,因为我想我可以写一个更有用的程序。
-
Blind Air Traffic Controller Simulation 免费
该项目是创造一个环境,盲人可以引导空中交通,利用他们的触觉和听觉。然后在线与目击者在线测试 ATC 模拟社区中的一些盲科目。
-
log365rf 免费
Voltcraft(R) IR-365RF 无线红外温度计软件
-
mtpsd 免费
多锥功率光谱密度库(C++),计算时间序列的汤姆森多数据谱估计值。包括自适应权重、置信区间和 F 检验。包还包括一个八度动态扩展(oct 文件)
-
PlexAP 免费
一组资源,用于使用 Linux、基于棱镜 2 的无线卡和 OSPF 进行自动无线网格化。 与 MeshAP 和 AODV 完全不同的替代方案。
-
NDoclet 免费
NDoclet 是一个 Javadoc 文档,它使用 Java 源代码生成 MSDN 风格的 API 文档。
-
Nettlers 免费
基于流行的棋盘游戏定居者/海员卡坦,Nettlers是一个多人计算机版本在互联网上播放。 目前只有 Windows 是支持的, 端口预计很快。
-
Horeca Statistics 免费
霍雷卡(销售)应用程序的报告和图表工具(导出到 MS Excel)