HUANG Wenchao, XIONG Yan, CHENG Wenjuan, WU Chengyi, CHEN Depin. A Formal Specification of Mobile Trusted Computing[J]. Chinese Journal of Electronics, 2011, 20(1): 11-16.
Citation: HUANG Wenchao, XIONG Yan, CHENG Wenjuan, WU Chengyi, CHEN Depin. A Formal Specification of Mobile Trusted Computing[J]. Chinese Journal of Electronics, 2011, 20(1): 11-16.

A Formal Specification of Mobile Trusted Computing

  • Received Date: 2010-03-01
  • Rev Recd Date: 2010-07-01
  • Publish Date: 2011-01-05
  • Trusted Computing provides a new way of protecting the mobile nodes from attacks. However, due to the complexity of specification of Trusted Computing and lack of formal methods, the security of mobile software design is still not guaranteed. In this paper, we propose a formal specification of mobile Trusted Computing (TCSpec) by using the B method. TCSpec is a library which encapsulates the Trusted Computing and other secure related operations, and satisfies requirements of most mobile secure software. We give an example of using TCSpec in mobile routing protocols. Moreover, we make analysis and prove that the security of private information is preserved by using TCSpec in design of mobile software.
  • loading
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views (620) PDF downloads(902) Cited by()
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return