Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. Provable Security Under Virtualization

Provable Security Under Virtualization

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 3.0/5 - ‎1 ‎Phiếu
Tải về

Chứng minh an ninh theo ảo hóa: Dự án là về chứng minh an ninh của hypervisor. Bối cảnh: Bảo mật có thể chứng minh là một khái niệm ngày càng được sử dụng để cung cấp các đảm bảo nghiêm ngặt rằng một hệ thống đáp ứng các tiêu đề bảo mật cụ thể. Thiết kế một

lịch sử phiên bản

  • Phiên bản N/A đăng trên 2010-02-09
    Một số bản sửa lỗi và cập nhật
  • Phiên bản N/A đăng trên 2010-02-09

Chi tiết chương trình

Các chương trình liên quan

  • IHE open source Miễn phí

    Dự án này tổ chức thực hiện hồ sơ chia sẻ tài liệu chéo doanh nghiệp (XDS) theo định nghĩa của IHE (ihe.net). Nó bao gồm việc triển khai của cả hai tài liệu Registry và tài liệu kho diễn viên.

  • PypeR Miễn phí

    Một gói Python trọng lượng nhẹ để tạo điều kiện cho người dùng sử dụng R trong Python thông qua PIPE. PypeR có thể được sử dụng với Python 2.3 trở lên, Python 3.X, Jython hoặc IronPython. Vui lòng tham khảo http://www.webarra

  • DnsResolve Miễn phí

    Một chương trình nhỏ để giải quyết một tên máy chủ để một IP được viết bằng mono c #. LƯU Ý: Dự án này là abandonware Bởi vì tôi nghĩ rằng tôi có thể viết một chương trình hữu ích hơn.

  • Blind Air Traffic Controller Simulation Miễn phí

    Dự án là để tạo ra một môi trường nơi một người mù có thể chỉ đạo giao thông hàng không với việc sử dụng cảm giác của họ liên lạc và thính giác. Và sau đó để kiểm tra nó trên một số đối tượng mù trong cộng đồng mô phỏng ATC t

  • log365rf Miễn phí

    Phần mềm cho nhiệt kế hồng ngoại không dây Voltcraft (R) IR-365RF

  • mtpsd Miễn phí

    Multi-Taper Power Spectral Density library (C++), tính toán ước tính phổ đa côn Thomson của một chuỗi thời gian. Bao gồm trọng số thích ứng, khoảng tin cậy và F-test. Gói cũng bao gồm phần mở rộng động Octave (oct-file)

  • PlexAP Miễn phí

    Một bộ sưu tập các nguồn lực để tạo điều kiện lưới không dây tự động bằng cách sử dụng Linux, prism2 dựa trên thẻ không dây và OSPF. Một sự thay thế hoàn toàn khác cho MeshAP và AODV.

  • NDoclet Miễn phí

    NDoclet là một Tài liệu Javadoc tạo ra tài liệu API kiểu MSDN từ mã nguồn Java.

  • Nettlers Miễn phí

    Dựa trên trò chơi hội đồng quản trị phổ biến Settlers / Seafarers of Catan, Nettlers là một phiên bản máy tính nhiều người chơi được chơi qua internet. Hiện tại chỉ có Windows là hỗ trợ, cổng dự kiến sớm.

  • Horeca Statistics Miễn phí

    Công cụ Báo cáo & Biểu đồ cho Ứng dụng Horeca (Bán hàng) (được xuất sang MS Excel)