1. Semantics-driven introspection in a virtual environment;Tamberi,2008
2. Transparent process monitoring in a virtual environment;Baiardi;Electronic Notes in Theoretical Computer Science,2009
3. S. Bajikar, Trusted Platform Module (TPM) based Security on Notebook PCs-White Paper, Mobile Platforms Group, Intel Corporation, June 20.
4. S. Pearson, Trusted Computing Platforms, The Next Security Solution, Beaverton, USA: Trusted Computing Group Administration.
5. A logic of secure systems and its application to trusted computing;Datta,2009