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

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

ID:33552909

大小:962.19 KB

页数:11页

时间:2019-02-27

基于标记变迁系统的可信计算平台信任链测试new_第1页
基于标记变迁系统的可信计算平台信任链测试new_第2页
基于标记变迁系统的可信计算平台信任链测试new_第3页
基于标记变迁系统的可信计算平台信任链测试new_第4页
基于标记变迁系统的可信计算平台信任链测试new_第5页
资源描述:

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

1、第32卷第4期计算机学报Vol.32No.42009年4月CHINESEJOURNALOFCOMPUTERSApr.2009基于标记变迁系统的可信计算平台信任链测试徐明迪张焕国严飞(空天信息安全与可信计算教育部重点实验室武汉430072)(武汉大学计算机学院武汉430079)(武汉大学软件工程国家重点实验室武汉430072)摘要可信计算是当今世界信息安全领域的重要潮流之一.根据国家有关规定,信息安全产品需要经过测评认证,但目前国内外对可信计算测试的理论与技术研究还非常不完善,也无相应测试工具或系统,这必然影响

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

3、009.00635犜犲狊狋犻狀犵狅狀犜狉狌狊狋犆犺犪犻狀狅犳犜狉狌狊狋犲犱犆狅犿狆狌狋犻狀犵犘犾犪狋犳狅狉犿犅犪狊犲犱狅狀犔犪犫犲犾犲犱犜狉犪狀狊犻狋犻狅狀犛狔狊狋犲犿XUMingDiZHANGHuanGuoYANFei(犓犲狔犔犪犫狅狉犪狋狅狉狔狅犳犃犲狉狅狊狆犪犮犲犐狀犳狅狉犿犪狋犻狅狀犛犲犮狌狉犻狋狔犪狀犱犜狉狌狊狋犆狅犿狆狌狋犻狀犵狅犳犕犻狀犻狊狋狉狔狅犳犈犱狌犮犪狋犻狅狀,犠狌犺犪狀430072)(犛犮犺狅狅犾狅犳犆狅犿狆狌狋犲狉,犠狌犺犪狀犝狀犻狏犲狉狊犻狋狔,犠狌犺犪狀430079)(犛狋犪

4、狋犲犓犲狔犔犪犫狅狉犪狋狅狉狔狅犳犛狅犳狋狑犪狉犲犈狀犵犻狀犲犲狉犻狀犵,犠狌犺犪狀犝狀犻狏犲狉狊犻狋狔,犠狌犺犪狀430072)犃犫狊狋狉犪犮狋Atpresent,thetrustedcomputinghasbecomeamajordevelopmenttrendinthefieldofinformationsecurity.Accordingto“ChinaNationalInformationSecurityCertificationandEvaluationManagement”,theinform

5、ationsecurityproductsmustbeevaluatedandcertified.However,attributetothesituationthatthespecificationsareestablishedbytheenterprises,thetheoryaboutthetrustedcomputingisbehindthetechnology,andtherearen’tanytestingtools,whichwillaffectthedevelopmentoftrusted

6、computing.Therefore,thispaperfocusesonthebehaviorcharactersofspecificationsoftrustchain,lettingprocessalgebraasdenotationsemantics,andtakinglabeledtransitionsystem(LTS)asoperationsemanticsforformalizingbehaviorcharactersoftrustchain.Theauthorsputforwardat

7、estframeworkbasedonLTSfortrustchain.Aimingatproblemsbetweenspecificationsandimplementationsoftrustchain,theyreducetestsuiteeffectivelyfortestability,andreasontherelationshipofthem,whicharetheoryfoundationofconstructingtestsuiteandsolvethehardproblemoftrustc

8、haintest.犓犲狔狑狅狉犱狊trustedcomputingplatform;trustchain;processalgebra;labeledtransitionsystem;conformancetesting收稿日期:20081208;最终修改稿收到日期:20090117.本课题得到国家“八六三”高技术研究发展计划项目基金(2007AA01Z411,2008AA01Z404)、国

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。