Australiërs ontwikkelen superveilige kernel
De zogeheten Secure Embedded L4-kernel is getest met een geautomatiseerd testsysteem. Nicta heeft ruim vier jaar gewerkt aan de kernel met een team wiskundigen en de open-sourceverficatietool Isabelle, die aan de Technische Universiteit van München is ontwikkeld.
Shutterstock
Shutterstock