Cargando…

Formal Models of Operating System Kernels

The kernel of any operating system is its most critical component, the remainder of the system depends upon a correctly functioning and reliable kernel for its operation - what is more, a kernel that has security flaws can be exploited by malicious users. Kernels are notoriously complex and hard to...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Craig, Iain D. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Temas:
Acceso en línea:Texto Completo