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:
Computer systems.
Operating systems (Computers).
Software engineering.
Computer science-Mathematics.
Discrete mathematics.
Computer System Implementation.
Operating Systems.
Software Engineering.
Discrete Mathematics in Computer Science.
Mathematical Applications in Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Standard and Generic Components
  • A Simple Kernel
  • A Swapping Kernel
  • Using Messages in the Swapping Kernel
  • Virtual Storage
  • Final Remarks.

Ejemplares similares