[发明专利]一种测试移动可信平台软件安全性的方法有效
| 申请号： | 201010591253.2 | 申请日： | 2010-12-16 |
| 公开（公告）号： | CN102541726A | 公开（公告）日： | 2012-07-04 |
| 发明（设计）人： | 苗付友;王行甫;熊焰;黄文超;吴呈邑 | 申请（专利权）人： | 中国科学技术大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F21/00 |
| 代理公司： | 北京集佳知识产权代理有限公司 11227 | 代理人： | 逯长明 |
| 地址： | 230026*** | 国省代码： | 安徽;34 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种测试移动可信平台软件安全性的方法，能够在软件开发过程中使用B语言设计移动可信平台的形式化规范并对所述形式化规范的可信证明义务进行证明。当所有的证明义务均证明可信时，则说明所测试的软件是安全的。通过应用以上技术方案，本发明能够在软件开发过程中快速测试软件安全性，保证了软件开发的效率。 | ||
| 搜索关键词： | 一种 测试 移动 可信 平台 软件 安全性 方法 | ||
【主权项】：
一种测试移动可信平台软件安全性的方法，其特征在于，包括：使用B语言设计移动可信平台的形式化规范；对所述形式化规范的可信证明义务进行证明并生成证明结果；根据所述证明结果判断移动可信平台软件是否安全。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学技术大学，未经中国科学技术大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201010591253.2/，转载请声明来源钻瓜专利网。
- 上一篇：变压器铁心用绝缘隔离套
- 下一篇：一种基于加权开关网络的数控变阻器
