Towards Assessing Isolation Properties in Partitioning Hypervisors. (arXiv:2209.00405v1 [cs.CR])

Partitioning hypervisor solutions are becoming increasingly popular, to
ensure stringent security and safety requirements related to isolation between
co-hosted applications and to make more efficient use of available hardware
resources. However, assessment and certification of isolation requirements
remain a challenge and it is not trivial to understand what and how to test to
validate these properties. Although the high-level requirements to be verified
are mentioned in the different security- and safety-related standards, there is
a lack of precise guidelines for …

hypervisors isolation