소프트웨어 제출
  1. 홈
  2. Windows
  3. 다른
  4. Provable Security Under Virtualization

Provable Security Under Virtualization

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 3.0/5 - ‎1 ‎투표
다운로드

가상화 하에서 입증 가능한 보안: 이 프로젝트는 하이퍼바이저의 보안을 증명하는 것입니다. 배경: 증명 가능한 보안은 시스템이 사양 에드 보안 소품- erties를 충족한다는 엄격한 보증을 제공하는 데 점점 더 많이 사용되는 개념입니다. 설계 안

버전 기록

  • 버전 N/A 에 게시 2010-02-09
    몇 가지 수정 및 업데이트
  • 버전 N/A 에 게시 2010-02-09

프로그램 세부 정보

관련 프로그램

  • IHE open source 무료

    이 프로젝트는 IHE(ihe.net)에 정의된 XDS 간 문서 공유(XDS) 프로파일을 구현합니다. 여기에는 문서 레지스트리및 문서 저장소 행위자의 구현이 포함됩니다.

  • PypeR 무료

    사용자가 PIPE를 통해 파이썬에서 R을 사용하도록 용이하게 하는 경량 파이썬 패키지입니다. PypeR은 파이썬 2.3 이상, 파이썬 3.X, Jython 또는 IronPython과 함께 사용할 수 있습니다. 버그 수정을 위해 http://www.webarray.org/softwares/PypeR/ 참조하십시오.

  • DnsResolve 무료

    모노 C#에 쓰여진 IP에 대한 호스트 이름을 해결하는 소규모 프로그램입니다. 참고 :이 프로젝트는 내가 더 유용한 프로그램을 작성 할 수 있다고 생각하기 때문에 포기웨어입니다.

  • Blind Air Traffic Controller Simulation 무료

    이 프로젝트는 시각 장애인이 터치 감각과 청각을 사용하여 항공 교통을 직접 할 수있는 부러를 만드는 것입니다. 그리고 목격자와 함께 온라인으로 ATC 시뮬레이션 커뮤니티의 일부 블라인드 주제에 대해 실시간으로 테스트합니다.

  • log365rf 무료

    볼트크래프트(R) IR-365RF 무선 적외선 온도계용 소프트웨어

  • mtpsd 무료

    다중 테이퍼 파워 스펙트럼 밀도 라이브러리(C++)는 시간 시리즈의 톰슨 멀티 테이퍼 스펙트럼 추정치를 계산합니다. 적응형 가중치, 신뢰 구간 및 F-테스트가 포함됩니다. 패키지에는 옥타브 동적 확장(10월 파일)도 포함되어 있습니다.

  • PlexAP 무료

    Linux, prism2 기반 무선 카드 및 OSPF를 사용하여 자동 무선 메시를 용이하게 하는 리소스 컬렉션입니다. 메시AP 및 AODV에 대한 완전히 다른 대안.

  • NDoclet 무료

    NDoclet은 Java 소스 코드에서 MSDN 스타일의 API 문서를 생성하는 Javadoc Doclet입니다.

  • Nettlers 무료

    카탄의 인기 보드 게임 정착민 / 선원을 기반으로, Nettlers는 인터넷을 통해 재생할 수있는 멀티 플레이어 컴퓨터 버전입니다. 현재 만 윈도우 지원, 포트는 곧 예상.

  • Horeca Statistics 무료

    Horeca (판매) 앱에 대한 보고 및 차트 도구 (MS Excel로 내보내기)