一种测试移动可信平台软件安全性的方法
- 申请号：CN201010591253.2
- 专利类型：发明专利
- 申请（专利权）人：中国科学技术大学
- 公开(公开)号：CN102541726A
- 公开(公开)日：2012.07.04
- 法律状态：实质审查的生效
- 出售价格： 面议 立即咨询
专利详情
| 专利名称 | 一种测试移动可信平台软件安全性的方法 | ||
| 申请号 | CN201010591253.2 | 专利类型 | 发明专利 |
| 公开（公告）号 | CN102541726A | 公开（授权）日 | 2012.07.04 |
| 申请（专利权）人 | 中国科学技术大学 | 发明（设计）人 | 苗付友;王行甫;熊焰;黄文超;吴呈邑 |
| 主分类号 | G06F11/36(2006.01)I | IPC主分类号 | G06F11/36(2006.01)I;G06F21/00(2006.01)I |
| 专利有效期 | 一种测试移动可信平台软件安全性的方法 至一种测试移动可信平台软件安全性的方法 | 法律状态 | 实质审查的生效 |
| 说明书摘要 | 本发明公开了一种测试移动可信平台软件安全性的方法，能够在软件开发过程中使用B语言设计移动可信平台的形式化规范并对所述形式化规范的可信证明义务进行证明。当所有的证明义务均证明可信时，则说明所测试的软件是安全的。通过应用以上技术方案，本发明能够在软件开发过程中快速测试软件安全性，保证了软件开发的效率。 | ||
交易流程
-
01
选取所需
专利 -
02
确认专利
可交易 - 03 签订合同
- 04 上报材料
-
05
确认变更
成功 - 06 支付尾款
- 07 交付证书
过户资料
平台保障
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障
- 用户留言
暂时还没有用户留言