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

下载本文档

6
0
约6.16万字
约 11页
2017-09-02 发布于安徽
举报
版权申诉

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

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

第卷第期计算机学报３２４　　　　　　　　　Ｖｏｌ．３２Ｎｏ．４年月２００９４Ａｒ．２００９ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳｐ　基于标记变迁系统的可信计算平台信任链测试徐明迪张焕国严飞　　　（空天信息安全与可信计算教育部重点实验室武汉４３００７２）　　（武汉大学计算机学院武汉４３００７９）　　（武汉大学软件工程国家重点实验室武汉４３００７２）　　摘要可信计算是当今世界信息安全领域的重要潮流之一根据国家有关规定，信息安全产品需要经过测评认．　　证，但目前国内外对可信计算测试的理论与技术研究还非常不完善，也无相应测试工具或系统，这必然影响可信计算的发展该文着眼于规范定义的信任链行为特征，以进程代数作为指称语义描述工具，以标记变迁系统作为操作．语义，对规范定义的信任链行为特征进行了形式化描述，提出了一种基于标记变迁系统的信任链测试模型框架针．对信任链规范与实现之间的问题，从易测性出发对测试集进行了有效约简；并论证了信任链的规范实现与规范说明之间的关系，为测试用例构造方法提供了理论依据，从而解决了信任链测试这一难题．关键词可信计算平台；信任链；进程代数；标记变迁系统；一致性测试　中图法分类号号：／ＴＰ３０９犇犗犐１０．３７２４ＳＰ．Ｊ．１０１６．２００９．００６３５　　　犜犲狊狋犻狀狅狀犜狉狌狊狋犆犺犪犻狀狅犳犜狉狌狊狋犲犱犆狅犿狌狋犻狀犘犾犪狋犳狅狉犿犅犪狊犲犱狅狀犵狆犵犔犪犫犲犾犲犱犜狉犪狀狊犻狋犻狅狀犛狊狋犲犿狔ＸＵＭｉｎＤｉＺＨＡＮＧＨｕａｎＧｕｏＹＡＮＦｅｉｇ　　（，）犓犲犔犪犫狅狉犪狋狅狉狅犃犲狉狅狊犪犮犲犐狀狅狉犿犪狋犻狅狀犛犲犮狌狉犻狋犪狀犱犜狉狌狊狋犆狅犿狌狋犻狀狅犕犻狀犻狊狋狉狅犈犱狌犮犪狋犻狅狀犠狌犺犪狀４３００７２狔狔犳狆犳狔狆犵犳