id: 70046117
dt: a
an: 70046117
au: Zhou, Hongwei; Yuan, Jinhui
ti: Formal analysis of trusted computing: one case study
so: CMC, 55-58 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1109/CMC.2011.108