Timing covert channel analysis of the VxWorks MILS embedded hypervisor under the common criteria security certification.

Published in: Comput. Secur. (2021)

Keyphrases