Indexed by:
Abstract:
针对可信计算基(TCB)可信扩展过程中涉及的隔离问题,提出了可信管道模型.对可信管道进行了形式化描述,给出了构成元素、建立规则和传输规则;分析了基本属性,证明了可信管道支撑下的TCB可信扩展符合非传递无干扰模型;分析了可信管道模型的安全性;给出了一个可信管道的实施框架.
Keyword:
Reprint Author's Address:
Email:
Source :
计算机工程与应用
ISSN: 1002-8331
Year: 2011
Issue: 26
Volume: 47
Page: 70-73,82
Cited Count:
WoS CC Cited Count: 0
SCOPUS Cited Count:
ESI Highly Cited Papers on the List: 0 Unfold All
WanFang Cited Count: 5
Chinese Cited Count:
30 Days PV: 14
Affiliated Colleges: