Computer Engineering & Science
Previous Articles Next Articles
ZE Kai1,CHEN Dan1,2,ZHUANG Yi1
Received:
Revised:
Online:
Published:
Abstract:
Key words: trusted measurement, information flow, intransitive noninterference, access control, formal description
ZE Kai1,CHEN Dan1,2,ZHUANG Yi1.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://joces.nudt.edu.cn/EN/
http://joces.nudt.edu.cn/EN/Y2018/V40/I12/2156