formal analysis and testing of trusted platform module
文献类型：期刊论文
| 作者 | Chen Xiao-Feng |
| 刊名 | Jisuanji Xuebao/Chinese Journal of Computers
 |
| 出版日期 | 2009 |
| 卷号 | 32期号:4页码:646-653 |
| 关键词 | Cryptography Product development Project management |
| ISSN号 | 2544164 |
| 收录类别 | EI |
| 语种 | 中文 |
| 公开日期 | 2011-03-18 |
| 附注 | Trusted platform module is the core component of trusted computing platform, the functional testing and validation is an important method to ensure the correctness and specification compliance of the trusted platform module, but until now, there is no valid formal testing and validation method, meanwhile the specification which is given by trusted computing group is descriptive, it is not convenient for product development and testing. The paper firstly analyzes the problem of the trusted platform module, and then gives the Z specification of TPMs cryptography system, based on this formal specification, gives the extended finite state machine model. Finally, the authors use the EFSM model for generating the test case and analyze the testing results. |
| 源URL | [http://124.16.136.157/handle/311060/7888]  |
| 专题 | 软件研究所_软件所图书馆_2009年期刊/会议论文 |
| 推荐引用方式 GB/T 7714 | Chen Xiao-Feng. formal analysis and testing of trusted platform module[J]. Jisuanji Xuebao/Chinese Journal of Computers,2009,32(4):646-653. |
| APA | Chen Xiao-Feng.(2009).formal analysis and testing of trusted platform module.Jisuanji Xuebao/Chinese Journal of Computers,32(4),646-653. |
| MLA | Chen Xiao-Feng."formal analysis and testing of trusted platform module".Jisuanji Xuebao/Chinese Journal of Computers 32.4(2009):646-653. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。