1. Enforcing the security of component-based embedded systems with information flow control;Abdellatif,2010
2. Model-based behavioral attestation;Alam,2008
3. Apache Felix, URL 〈http://felix.apache.org/site/index.html〉; 2010
4. Measuring semantic integrity for remote attestation;Baiardi,2009
5. Bell DE, La Padula JL. Secure computer systems: mathematical foundations. Technical Report ESD-TR-73-278, MITRE Corporation; 1973.