通信学报
通信學報
통신학보
JOURNAL OF CHINA INSTITUTE OF COMMUNICATIONS
2013年
5期
31-41
,共11页
常德显%冯登国%秦宇%张倩颖
常德顯%馮登國%秦宇%張倩穎
상덕현%풍등국%진우%장천영
可信计算%可信虚拟平台%安全系统逻辑%信任链%虚拟信任根
可信計算%可信虛擬平檯%安全繫統邏輯%信任鏈%虛擬信任根
가신계산%가신허의평태%안전계통라집%신임련%허의신임근
trusted computing%trusted virtualization platform%logic of secure system%trust chain%virtual root of trust
针对可信虚拟平台信任链的形式化分析问题,建立了包括虚拟机和虚拟信任根在内的可信虚拟平台完整的信任链模型,并详细定义其应满足的信任属性,通过扩展 LS2,验证了可信虚拟平台信任链模型能够有条件地满足其正确性、唯一性.对实例系统分析表明本文所建立信任链模型的通用性及基于扩展 LS2分析方法的有效性.
針對可信虛擬平檯信任鏈的形式化分析問題,建立瞭包括虛擬機和虛擬信任根在內的可信虛擬平檯完整的信任鏈模型,併詳細定義其應滿足的信任屬性,通過擴展 LS2,驗證瞭可信虛擬平檯信任鏈模型能夠有條件地滿足其正確性、唯一性.對實例繫統分析錶明本文所建立信任鏈模型的通用性及基于擴展 LS2分析方法的有效性.
침대가신허의평태신임련적형식화분석문제,건립료포괄허의궤화허의신임근재내적가신허의평태완정적신임련모형,병상세정의기응만족적신임속성,통과확전 LS2,험증료가신허의평태신임련모형능구유조건지만족기정학성、유일성.대실례계통분석표명본문소건립신임련모형적통용성급기우확전 LS2분석방법적유효성.
Considering the effective formal analysis for the trust chain of the trusted virtualization platform, a trust chain model which includes the virtual machine and the virtual root of trust, was proposed firstly with the detail definition of the trusted properties. Through extending the LS2, it verified the correctness and uniqueness of the trust chain formally under some conditions. Analysis for the photosystem shows the generality of the proposed trust chain model and the va-lidity of the analysis method based on the extended LS2.
