Inter-Partition Information Flow Control in High-Trusted Architecture Hades

To assure the trustworthiness of high-trusted architecture of embedded operating system that named Hades, the inter-partition information flow of Hades must be controlled strictly. By analyzing the limitation of existing methods, we present a new information flow control model and construct a information flow mechanism between partitions. The accuracy of these model and mechanism are verified through the experiment.