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...
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 |
Ejemplares similares
-
Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004, Proceedings /
Publicado: (2005) -
Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings /
Publicado: (2006) -
Petri Nets and Other Models of Concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings /
Publicado: (2007) -
Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /
Publicado: (2005) -
Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings /
Publicado: (2008)