北京市教委科技计划面上项目(JC007011201004)
- 作品数:2 被引量:5H指数:1
- 相关作者:王勇任兴田林莉方娟代桂平更多>>
- 相关机构:北京工业大学更多>>
- 发文基金:北京市教委科技计划面上项目国家重点基础研究发展计划国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种基于SOAP的物联网中物品管理协议
- 2012年
- 随着物联网中基于异构接入技术的物品信息进一步集成的需求日益强烈,需要上层的接入技术无关的协议来屏蔽异构接入技术所带来的差异性。物品管理协议就是一种接入技术无关的上层协议,用来交换物品信息。探讨了物联网的体系结构与物品管理协议的必要性,基于SOAP设计并实现了该物品管理协议,包括协议支持的操作、协议操作的接口定义以及协议的实现结构和处理流程。
- 代桂平
- 关键词:物联网简单对象访问协议
- 基于进程代数的TCG远程证明协议的形式化验证被引量:5
- 2013年
- 可信计算组织(Trusted Computing Group,TCG)的远程证明协议是最早提出的远程证明的解决方案,其协议的形式化验证对于工程实施具有重要意义.分析了TCG远程证明协议的两种形式——直接证明协议和借助可信第三方的证明协议,对它们进行了抽象处理,得到了两种协议形式的抽象模型.在抽象模型的基础上,给出了基于进程代数的形式化描述,并分别进行了形式化验证.验证结果表明两种协议形式的并行系统均展示了期望的外部行为.
- 王勇方娟任兴田林莉
- 关键词:可信计算远程证明形式化进程代数