DocumentCode :
3508186
Title :
[Title page i]
fYear :
2008
fDate :
14-17 Oct. 2008
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Trusted Infrastructure Technologies Conference, 2008. APTC '08. Third Asia-Pacific
Conference_Location :
Hubei
Print_ISBN :
978-0-7695-3363-6
Type :
conf
DOI :
10.1109/APTC.2008.1
Filename :
4683068
Link To Document :
بازگشت