计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2009年
4期
635-645
,共11页
可信计算平台%信任链%进程代数%标记变迁系统%一致性测试
可信計算平檯%信任鏈%進程代數%標記變遷繫統%一緻性測試
가신계산평태%신임련%진정대수%표기변천계통%일치성측시
可信计算是当今世界信息安全领域的重要潮流之一.根据国家有关规定,信息安全产品需要经过测评认证,但目前国内外对可信计算测试的理论与技术研究还非常不完善,也无相应测试工具或系统,这必然影响可信计算的发展.该文着眼于规范定义的信任链行为特征,以进程代数作为指称语义描述工具,以标记变迁系统作为操作语义,对规范定义的信任链行为特征进行了形式化描述,提出了一种基于标记变迁系统的信任链测试模型框架.针对信任链规范与实现之间的问题,从易测性出发对测试集进行了有效约简;并论证了信任链的规范实现与规范说明之间的关系,为测试用例构造方法提供了理论依据,从而解决了信任链测试这一难题.
可信計算是噹今世界信息安全領域的重要潮流之一.根據國傢有關規定,信息安全產品需要經過測評認證,但目前國內外對可信計算測試的理論與技術研究還非常不完善,也無相應測試工具或繫統,這必然影響可信計算的髮展.該文著眼于規範定義的信任鏈行為特徵,以進程代數作為指稱語義描述工具,以標記變遷繫統作為操作語義,對規範定義的信任鏈行為特徵進行瞭形式化描述,提齣瞭一種基于標記變遷繫統的信任鏈測試模型框架.針對信任鏈規範與實現之間的問題,從易測性齣髮對測試集進行瞭有效約簡;併論證瞭信任鏈的規範實現與規範說明之間的關繫,為測試用例構造方法提供瞭理論依據,從而解決瞭信任鏈測試這一難題.
가신계산시당금세계신식안전영역적중요조류지일.근거국가유관규정,신식안전산품수요경과측평인증,단목전국내외대가신계산측시적이론여기술연구환비상불완선,야무상응측시공구혹계통,저필연영향가신계산적발전.해문착안우규범정의적신임련행위특정,이진정대수작위지칭어의묘술공구,이표기변천계통작위조작어의,대규범정의적신임련행위특정진행료형식화묘술,제출료일충기우표기변천계통적신임련측시모형광가.침대신임련규범여실현지간적문제,종역측성출발대측시집진행료유효약간;병론증료신임련적규범실현여규범설명지간적관계,위측시용례구조방법제공료이론의거,종이해결료신임련측시저일난제.
