中国电子商情·通信市场
中國電子商情·通信市場
중국전자상정·통신시장
TELECOM MARKET
2010年
5期
86-93
,共8页
陈银镜%蔡勉%司丽敏%郭颖
陳銀鏡%蔡勉%司麗敏%郭穎
진은경%채면%사려민%곽영
安全域可信隔离%可信管道%形式化
安全域可信隔離%可信管道%形式化
안전역가신격리%가신관도%형식화
安全域隔离技术是构造可信系统的基本技术之一.本文运用可信计算的思想,在现有的安全域隔离模型的基础上,定义了安全域间信任关系,提出了域间可信通信的可信管道机制,给出了安全域可信隔离模型的可信性状态,构建并形式化描述了基于DTE策略的安全域可信隔离模型,提供了验证模型可信的形式化分析方法,为安全域的可信隔离技术的实现和验证奠定了基础.
安全域隔離技術是構造可信繫統的基本技術之一.本文運用可信計算的思想,在現有的安全域隔離模型的基礎上,定義瞭安全域間信任關繫,提齣瞭域間可信通信的可信管道機製,給齣瞭安全域可信隔離模型的可信性狀態,構建併形式化描述瞭基于DTE策略的安全域可信隔離模型,提供瞭驗證模型可信的形式化分析方法,為安全域的可信隔離技術的實現和驗證奠定瞭基礎.
안전역격리기술시구조가신계통적기본기술지일.본문운용가신계산적사상,재현유적안전역격리모형적기출상,정의료안전역간신임관계,제출료역간가신통신적가신관도궤제,급출료안전역가신격리모형적가신성상태,구건병형식화묘술료기우DTE책략적안전역가신격리모형,제공료험증모형가신적형식화분석방법,위안전역적가신격리기술적실현화험증전정료기출.
