电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2007年
7期
1234-1239
,共6页
可信计算%系统行为%可信证明%恶意软件
可信計算%繫統行為%可信證明%噁意軟件
가신계산%계통행위%가신증명%악의연건
计算平台可信证明是可信计算研究的热点问题.但是目前一些计算平台可信证明方案存在隐私保护和可行性等方面的缺陷.基于系统行为的计算平台可信证明模型(BTAM)在可信计算环境下,根据可信行为期望策略,将平台状态证明转化为对平台历史行为序列的可信证明,有效地避免了在准确描述计算平台状态方面的难题,保证了模型实现的可行性和可扩展性,并且不会暴露证明平台的配置信息.BTAM的原型实现和实验性能分析证明了它在防范诸如计算机病毒、木马类恶意软件攻击以及避免安全策略冲突行为等方面的安全能力,以及良好的实际安全运行效率.
計算平檯可信證明是可信計算研究的熱點問題.但是目前一些計算平檯可信證明方案存在隱私保護和可行性等方麵的缺陷.基于繫統行為的計算平檯可信證明模型(BTAM)在可信計算環境下,根據可信行為期望策略,將平檯狀態證明轉化為對平檯歷史行為序列的可信證明,有效地避免瞭在準確描述計算平檯狀態方麵的難題,保證瞭模型實現的可行性和可擴展性,併且不會暴露證明平檯的配置信息.BTAM的原型實現和實驗性能分析證明瞭它在防範諸如計算機病毒、木馬類噁意軟件攻擊以及避免安全策略遲突行為等方麵的安全能力,以及良好的實際安全運行效率.
계산평태가신증명시가신계산연구적열점문제.단시목전일사계산평태가신증명방안존재은사보호화가행성등방면적결함.기우계통행위적계산평태가신증명모형(BTAM)재가신계산배경하,근거가신행위기망책략,장평태상태증명전화위대평태역사행위서렬적가신증명,유효지피면료재준학묘술계산평태상태방면적난제,보증료모형실현적가행성화가확전성,병차불회폭로증명평태적배치신식.BTAM적원형실현화실험성능분석증명료타재방범제여계산궤병독、목마류악의연건공격이급피면안전책략충돌행위등방면적안전능력,이급량호적실제안전운행효솔.
