Virtualisierungsplattform

Sicherheits-Beweis für Betriebssystem-Kernel

Forscher am australischen IKT-Forschungsinstitut NICTA haben nach eigenen Angaben den weltweit ersten formellen maschinell geprüften Beweis dafür geliefert,…