Formal refinement for operating system kernels

Formal refinement for operating system kernels

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Craig, Iain D. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	London Springer 2007
Schlagworte:	Operating systems (Computers) Formale Methode Kernel > Informatik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Formal models of operating system kernels
von: Craig, Iain D.
Veröffentlicht: (2007)

Formal refinement for operating system kernels
Veröffentlicht: (2007)

The Linux Kernel primer a top-down approach for X86 and PowerPC architectures
von: Rodriguez, Claudia Salzberg, et al.
Veröffentlicht: (2006)

IA-64 Linux Kernel design and implementation
von: Mosberger, David, et al.
Veröffentlicht: (2002)

Linux kernel development
von: Love, Robert
Veröffentlicht: (2005)

Proceedings of the USENIX Symposium on Microkernels and Other Kernel Architectures September 20 - 21, 1993, San Diego, California, U.S.A.
Veröffentlicht: (1993)

Designing BSD rootkits an introduction to kernel hacking
von: Kong, Joseph
Veröffentlicht: (2007)

Linux-Kernel-Handbuch Leitfaden zu Design und Implementierung von Kernel 2.6
von: Love, Robert D.
Veröffentlicht: (2005)

Professional Linux kernel architecture
von: Mauerer, Wolfgang 1978-
Veröffentlicht: (2008)

Control-Based Operating System Design
von: Leva, Alberto
Veröffentlicht: (2013)

Linux-Kernel-Handbuch Leitfaden zu Design und Implementierung von Kernel 2.6
von: Love, Robert
Veröffentlicht: (2005)

Professional Linux kernel architecture
von: Mauerer, Wolfgang
Veröffentlicht: (2008)

Linux kernel development [a practical guide to the design and implementation of the Linux kernel]
von: Love, Robert
Veröffentlicht: (2003)

Formal verification of the UCLA security kernel abstract model, mapping
von: Kemmerer, Richard A.
Veröffentlicht: (1979)

Final report of the multics kernel design project
Veröffentlicht: (1977)

A guide to kernel exploitation attacking the core
von: Perla, Enrico, et al.
Veröffentlicht: (2011)

Professional Linux kernel architecture
von: Mauerer, Wolfgang 1978-
Veröffentlicht: (2008)

Learning with kernels support vector machines, regularization, optimization, and beyond
von: Schölkopf, Bernhard 1968-, et al.
Veröffentlicht: (2002)

MyC-OS the real-time kernel
von: Labrosse, Jean J.
Veröffentlicht: (1993)

My C/OS the real-time kernel
von: Labrosse, Jean J.
Veröffentlicht: (1992)

Linux Universe installation and configuration ; [fully configured LINUX system on 2 CD-ROMs]
Veröffentlicht: (1997)

UNIX systems for modern architectures symmetric multiprocessing and caching for kernel programmers
von: Schimmel, Curt
Veröffentlicht: (1994)

Towards operating system synthesis
von: Ditze, Carsten
Veröffentlicht: (2000)

Kernel smoothing in MATLAB theory and practice of Kernel smoothing
von: Horová, Ivana 1943-
Veröffentlicht: (2012)

Linux für alle Vollversion mit Slackware 3.0.1 elf, basierend auf stabilem Kernel 1.2.13 ; offizielle Patches bereits integriert ; inklusive Entwickler-Kernel bis 1.3.60
von: Hierle, Alexander
Veröffentlicht: (1996)

Linux für alle Vollversion mit slackware 3.0.1 elf, basierend auf stabilem Kernel 1.2.13
von: Hierle, Alexander
Veröffentlicht: (1996)

Linux kernel networking implementation and theory ; [a complete, in-depth reference guide to understanding Linux kernel networking]
von: Rosen, Rami
Veröffentlicht: (2014)

Kernel smoothing in MATLAB theory and practice of Kernel smoothing
Veröffentlicht: (2012)

Linux Kernel programming a comprehensive and practical guide to kernel internals, writing modules, and kernel synchronization
von: Billimoria, Kaiwan N.
Veröffentlicht: (2024)

Operating system support for predictable high speed communication
von: Borriss, Martin
Veröffentlicht: (1999)

LINUX Universe installation and configuration
von: Strobel, Stefan, et al.
Veröffentlicht: (1997)

Understanding formal methods
von: Monin, Jean-François 1960-
Veröffentlicht: (2003)

Understanding the Linux Kernel [covers Linux Kernel version 2.4]
von: Bovet, Daniel Pierre, et al.
Veröffentlicht: (2002)

Kernel methods in chemo- and bioinformatics
von: Fröhlich, Holger
Veröffentlicht: (2006)

Kernel Hacking Exploits verstehen, schreiben und abwehren: Schwachstellen in Kernel-Architekturen erkennen und Gegenmaßnahmen ergreifen ; Kernel-Exploits im Detail: Aufbau, Funktionsweise und Quellcodes ; User-Land- Kernel-Land- und Remote-Kernel-Exploits ; ein großes Praxisbeispiel zeigt Exploittechniken im Einsatz
von: Perla, Enrico, et al.
Veröffentlicht: (2016)

Linux komplett Freeware-Unix für jedermann, 32-Bit-System, Kernel 1.2 ; Slackware 2.2 und 2.3, mit Vollversion Linux 1.2
von: Hierle, Alexander
Veröffentlicht: (1995)

MicroC/OS-II the real-time kernel
von: Labrosse, Jean J.
Veröffentlicht: (2004)

Linux komplett Freeware-Unix für jedermann, 32-Bit-System, Kernel 1.2 ; Slackware 2.2 und 2.3 mit Vollversion Linux 1.2 ; einfachste Installation, deutsche Dokumentation, Multimedia, DOS- und Windows-Emulator, Vernetzung, Unix-Crash-Kurs, komplette Entwicklungsumgebung, Unix-Tools
von: Hierle, Alexander
Veröffentlicht: (1995)

Removing the dynamic linker from the security kernel of a computing utility
von: Janson, Philippe A. 1949-
Veröffentlicht: (1972)

Learning Kernel classifiers theory and algorithms
von: Herbrich, Ralf
Veröffentlicht: (2002)