Refinement-Based Specification and Security Analysis of Separation Kernels

Refinement-Based Specification and Security Analysis of Separation Kernels

Refinement-Based Specification and Security Analysis of Separation Kernels
Refinement-Based Specification and Security Analysis of Separation Kernels

Refinement-Based Specification and Security Analysis of Separation Kernels