프로그램별 provablesecurit.sf.net

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