Abstract :
The following topics are dealt with: trusted infrastructure technologies; trusted computing; trusted virtualization; trusted grid; formal specification and formal verification.
Keywords :
formal specification; formal verification; grid computing; security of data; virtual machines; formal specification; formal verification; trusted computing; trusted grid; trusted infrastructure technologies; trusted virtualization;
Conference_Titel :
Trusted Infrastructure Technologies Conference, 2008. APTC '08. Third Asia-Pacific
Conference_Location :
Hubei
Print_ISBN :
978-0-7695-3363-6
DOI :
10.1109/APTC.2008.1