Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines

AuthID
P-00T-EZ6
2
Author(s)
2
Editor(es)
Junqueira,F;Marzullo,K
Tipo de Documento
Proceedings Paper
Year published
2014
Publicado
in 10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield, CO, USA, October 5, 2014. in HotDep
Indexing
Publication Identifiers
DBLP: conf/hotdep/SantosL14
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.