Formal models of operating system kernels

Descrição: Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as i... Veja mais