华南理工大学学报（自然科学版）
華南理工大學學報（自然科學版）
화남리공대학학보（자연과학판）
JOURNAL OF SOUTH CHINA UNIVERSITY OF TECHNOLOGY(NATURAL SCIENCE EDITION)
2009年
5期
106-110
,共5页
信息安全%可信计算%信任链%条件谓词逻辑
信息安全%可信計算%信任鏈%條件謂詞邏輯
신식안전%가신계산%신임련%조건위사라집
针对可信计算信任模型的形式化验证问题,提出了基于条件谓词逻辑的可信计算形式化分析方法.该方法定义了不同的谓词和推演规则,并在谓词逻辑中添加可信性的影响因素作为约束条件,实现对可信计算信任模型的形式化验证.文中还通过实例对可信计算平台的安全引导过程进行了分析,并根据分析结果提出了委托链长度受限的可信计算平台安全引导过程.结果表明,文中的方法能清晰、有效地用于可信计算信任模型的形式化分析.
針對可信計算信任模型的形式化驗證問題,提齣瞭基于條件謂詞邏輯的可信計算形式化分析方法.該方法定義瞭不同的謂詞和推縯規則,併在謂詞邏輯中添加可信性的影響因素作為約束條件,實現對可信計算信任模型的形式化驗證.文中還通過實例對可信計算平檯的安全引導過程進行瞭分析,併根據分析結果提齣瞭委託鏈長度受限的可信計算平檯安全引導過程.結果錶明,文中的方法能清晰、有效地用于可信計算信任模型的形式化分析.
침대가신계산신임모형적형식화험증문제,제출료기우조건위사라집적가신계산형식화분석방법.해방법정의료불동적위사화추연규칙,병재위사라집중첨가가신성적영향인소작위약속조건,실현대가신계산신임모형적형식화험증.문중환통과실례대가신계산평태적안전인도과정진행료분석,병근거분석결과제출료위탁련장도수한적가신계산평태안전인도과정.결과표명,문중적방법능청석、유효지용우가신계산신임모형적형식화분석.
