Provable Security Under Virtualization
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://provablesecurit.bzr.sourceforge.net/bzr/provablesecurit\nhttp://provablesecurit.cvs.sourceforge.net/provablesecurit\nhttp://provablesecurit.git.sourceforge.net/\nhttp://provablesecurit.hg.sourceforge.net/hgweb/provablesecurit\nhttp://provablesecuri
에 대해 Provable Security Under Virtualization
가상화 하에서 입증 가능한 보안: 이 프로젝트는 하이퍼바이저의 보안을 증명하는 것입니다. 배경: 증명 가능한 보안은 시스템이 사양 에드 보안 소품- erties를 충족한다는 엄격한 보증을 제공하는 데 점점 더 많이 사용되는 개념입니다. 설계 안
관련 프로그램
-
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로 내보내기)