计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
26期
70-73,82
,共5页
可信计算%可信计算基%可信管道%无干扰
可信計算%可信計算基%可信管道%無榦擾
가신계산%가신계산기%가신관도%무간우
针对可信计算基(TCB)可信扩展过程中涉及的隔离问题,提出了可信管道模型.对可信管道进行了形式化描述,给出了构成元素、建立规则和传输规则;分析了基本属性,证明了可信管道支撑下的TCB可信扩展符合非传递无干扰模型；分析了可信管道模型的安全性；给出了一个可信管道的实施框架.
針對可信計算基(TCB)可信擴展過程中涉及的隔離問題,提齣瞭可信管道模型.對可信管道進行瞭形式化描述,給齣瞭構成元素、建立規則和傳輸規則;分析瞭基本屬性,證明瞭可信管道支撐下的TCB可信擴展符閤非傳遞無榦擾模型；分析瞭可信管道模型的安全性；給齣瞭一箇可信管道的實施框架.
침대가신계산기(TCB)가신확전과정중섭급적격리문제,제출료가신관도모형.대가신관도진행료형식화묘술,급출료구성원소、건립규칙화전수규칙;분석료기본속성,증명료가신관도지탱하적TCB가신확전부합비전체무간우모형；분석료가신관도모형적안전성；급출료일개가신관도적실시광가.
