Abstract | ||
---|---|---|
The security kernel is a disciplined approach to the organization and isolation of security-related functions. To guarantee completeness of the security kernel and enhance the possibility of formal verification, the design is based upon a mathematical representation of a secure system. The mathematical model most often used as the basis for kernel design is examined. A basic set of kernel functions is presented and issues relevant to kernel architectures are discussed. |
Year | DOI | Venue |
---|---|---|
1979 | 10.1145/503506.503532 | ACM Southeast Regional Conference 2005 |
Keywords | Field | DocType |
secure system,mathematical representation,kernel architecture,mathematical model,security kernel,disciplined approach,security kernel approach,kernel function,kernel design,basic set,formal verification | Kernel (linear algebra),Security kernel,Computer science,Theoretical computer science,Representation (mathematics),Completeness (statistics),Kernel design,Kernel (statistics),Formal verification | Conference |
Citations | PageRank | References |
1 | 0.36 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bruce Chittenden | 1 | 1 | 0.70 |
Paul J. Higgins | 2 | 1 | 0.36 |