Programma's van provablesecurit.sf.net

Provable Security Under Virtualization: Het project gaat over het bewijzen van de veiligheid van hypervisor. Achtergrond: Provable security is een concept dat steeds vaker wordt gebruikt om rigoureuze garanties te bieden dat