基于标记变迁系统的可信计算平台信任链测试new

《基于标记变迁系统的可信计算平台信任链测试new》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第３２卷第４期计算机学报Ｖｏｌ．３２Ｎｏ．４２００９年４月ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳＡｐｒ．２００９基于标记变迁系统的可信计算平台信任链测试徐明迪张焕国严飞（空天信息安全与可信计算教育部重点实验室武汉４３００７２）（武汉大学计算机学院武汉４３００７９）（武汉大学软件工程国家重点实验室武汉４３００７２）摘要可信计算是当今世界信息安全领域的重要潮流之一．根据国家有关规定，信息安全产品需要经过测评认证，但目前国内外对可信计算测试的理论与技术研究还非常不完善，也无相应测试工具或系统，这必然影响

2、可信计算的发展．该文着眼于规范定义的信任链行为特征，以进程代数作为指称语义描述工具，以标记变迁系统作为操作语义，对规范定义的信任链行为特征进行了形式化描述，提出了一种基于标记变迁系统的信任链测试模型框架．针对信任链规范与实现之间的问题，从易测性出发对测试集进行了有效约简；并论证了信任链的规范实现与规范说明之间的关系，为测试用例构造方法提供了理论依据，从而解决了信任链测试这一难题．关键词可信计算平台；信任链；进程代数；标记变迁系统；一致性测试中图法分类号ＴＰ３０９犇犗犐号：１０．３７２４／ＳＰ．Ｊ．１０１６．２

3、００９．００６３５犜犲狊狋犻狀犵狅狀犜狉狌狊狋犆犺犪犻狀狅犳犜狉狌狊狋犲犱犆狅犿狆狌狋犻狀犵犘犾犪狋犳狅狉犿犅犪狊犲犱狅狀犔犪犫犲犾犲犱犜狉犪狀狊犻狋犻狅狀犛狔狊狋犲犿ＸＵＭｉｎｇＤｉＺＨＡＮＧＨｕａｎＧｕｏＹＡＮＦｅｉ（犓犲狔犔犪犫狅狉犪狋狅狉狔狅犳犃犲狉狅狊狆犪犮犲犐狀犳狅狉犿犪狋犻狅狀犛犲犮狌狉犻狋狔犪狀犱犜狉狌狊狋犆狅犿狆狌狋犻狀犵狅犳犕犻狀犻狊狋狉狔狅犳犈犱狌犮犪狋犻狅狀，犠狌犺犪狀４３００７２）（犛犮犺狅狅犾狅犳犆狅犿狆狌狋犲狉，犠狌犺犪狀犝狀犻狏犲狉狊犻狋狔，犠狌犺犪狀４３００７９）（犛狋犪

4、狋犲犓犲狔犔犪犫狅狉犪狋狅狉狔狅犳犛狅犳狋狑犪狉犲犈狀犵犻狀犲犲狉犻狀犵，犠狌犺犪狀犝狀犻狏犲狉狊犻狋狔，犠狌犺犪狀４３００７２）犃犫狊狋狉犪犮狋Ａｔｐｒｅｓｅｎｔ，ｔｈｅｔｒｕｓｔｅｄｃｏｍｐｕｔｉｎｇｈａｓｂｅｃｏｍｅａｍａｊｏｒｄｅｖｅｌｏｐｍｅｎｔｔｒｅｎｄｉｎｔｈｅｆｉｅｌｄｏｆｉｎｆｏｒｍａｔｉｏｎｓｅｃｕｒｉｔｙ．Ａｃｃｏｒｄｉｎｇｔｏ“ＣｈｉｎａＮａｔｉｏｎａｌＩｎｆｏｒｍａｔｉｏｎＳｅｃｕｒｉｔｙＣｅｒｔｉｆｉｃａｔｉｏｎａｎｄＥｖａｌｕａｔｉｏｎＭａｎａｇｅｍｅｎｔ”，ｔｈｅｉｎｆｏｒｍ

5、ａｔｉｏｎｓｅｃｕｒｉｔｙｐｒｏｄｕｃｔｓｍｕｓｔｂｅｅｖａｌｕａｔｅｄａｎｄｃｅｒｔｉｆｉｅｄ．Ｈｏｗｅｖｅｒ，ａｔｔｒｉｂｕｔｅｔｏｔｈｅｓｉｔｕａｔｉｏｎｔｈａｔｔｈｅｓｐｅｃｉｆｉｃａｔｉｏｎｓａｒｅｅｓｔａｂｌｉｓｈｅｄｂｙｔｈｅｅｎｔｅｒｐｒｉｓｅｓ，ｔｈｅｔｈｅｏｒｙａｂｏｕｔｔｈｅｔｒｕｓｔｅｄｃｏｍｐｕｔｉｎｇｉｓｂｅｈｉｎｄｔｈｅｔｅｃｈｎｏｌｏｇｙ，ａｎｄｔｈｅｒｅａｒｅｎ’ｔａｎｙｔｅｓｔｉｎｇｔｏｏｌｓ，ｗｈｉｃｈｗｉｌｌａｆｆｅｃｔｔｈｅｄｅｖｅｌｏｐｍｅｎｔｏｆｔｒｕｓｔｅｄ

6、ｃｏｍｐｕｔｉｎｇ．Ｔｈｅｒｅｆｏｒｅ，ｔｈｉｓｐａｐｅｒｆｏｃｕｓｅｓｏｎｔｈｅｂｅｈａｖｉｏｒｃｈａｒａｃｔｅｒｓｏｆｓｐｅｃｉｆｉｃａｔｉｏｎｓｏｆｔｒｕｓｔｃｈａｉｎ，ｌｅｔｔｉｎｇｐｒｏｃｅｓｓａｌｇｅｂｒａａｓｄｅｎｏｔａｔｉｏｎｓｅｍａｎｔｉｃｓ，ａｎｄｔａｋｉｎｇｌａｂｅｌｅｄｔｒａｎｓｉｔｉｏｎｓｙｓｔｅｍ（ＬＴＳ）ａｓｏｐｅｒａｔｉｏｎｓｅｍａｎｔｉｃｓｆｏｒｆｏｒｍａｌｉｚｉｎｇｂｅｈａｖｉｏｒｃｈａｒａｃｔｅｒｓｏｆｔｒｕｓｔｃｈａｉｎ．Ｔｈｅａｕｔｈｏｒｓｐｕｔｆｏｒｗａｒｄａｔ

7、ｅｓｔｆｒａｍｅｗｏｒｋｂａｓｅｄｏｎＬＴＳｆｏｒｔｒｕｓｔｃｈａｉｎ．Ａｉｍｉｎｇａｔｐｒｏｂｌｅｍｓｂｅｔｗｅｅｎｓｐｅｃｉｆｉｃａｔｉｏｎｓａｎｄｉｍｐｌｅｍｅｎｔａｔｉｏｎｓｏｆｔｒｕｓｔｃｈａｉｎ，ｔｈｅｙｒｅｄｕｃｅｔｅｓｔｓｕｉｔｅｅｆｆｅｃｔｉｖｅｌｙｆｏｒｔｅｓｔａｂｉｌｉｔｙ，ａｎｄｒｅａｓｏｎｔｈｅｒｅｌａｔｉｏｎｓｈｉｐｏｆｔｈｅｍ，ｗｈｉｃｈａｒｅｔｈｅｏｒｙｆｏｕｎｄａｔｉｏｎｏｆｃｏｎｓｔｒｕｃｔｉｎｇｔｅｓｔｓｕｉｔｅａｎｄｓｏｌｖｅｔｈｅｈａｒｄｐｒｏｂｌｅｍｏｆｔｒｕｓｔｃ

8、ｈａｉｎｔｅｓｔ．犓犲狔狑狅狉犱狊ｔｒｕｓｔｅｄｃｏｍｐｕｔｉｎｇｐｌａｔｆｏｒｍ；ｔｒｕｓｔｃｈａｉｎ；ｐｒｏｃｅｓｓａｌｇｅｂｒａ；ｌａｂｅｌｅｄｔｒａｎｓｉｔｉｏｎｓｙｓｔｅｍ；ｃｏｎｆｏｒｍａｎｃｅｔｅｓｔｉｎｇ收稿日期：２００８１２０８；最终修改稿收到日期：２００９０１１７．本课题得到国家“八六三”高技术研究发展计划项目基金（２００７ＡＡ０１Ｚ４１１，２００８ＡＡ０１Ｚ４０４）、国