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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London :
Springer London,
2007.
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
