您的位置： 专家智库 > >

中国科学院知识创新工程(CXJJ251)

作品数：1 被引量：3H指数：1
相关作者：邱田李鹏飞马恒太侯玉文更多>>
相关机构：天津大学中国科学院软件研究所中国科学院研究生院更多>>
发文基金：中国科学院知识创新工程国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇代理
  • 1篇形式化
  • 1篇形式化方法
  • 1篇移动代理
  • 1篇数据完整
  • 1篇数据完整性
  • 1篇完整性
  • 1篇协议形式化

机构

  • 1篇天津大学
  • 1篇中国科学院研...
  • 1篇中国科学院软...

作者

  • 1篇侯玉文
  • 1篇马恒太
  • 1篇李鹏飞
  • 1篇邱田

传媒

  • 1篇电子学报

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
移动代理完整性协议形式化分析方法研究被引量：3
2009年
本文给出了移动代理协议数据完整性属性的定义,指出了采用传统认证性属性来分析移动代理数据完整性属性的不足,从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上,针对典型协议实例进行CPS建模,并采用阶函数的方法证明了其完整性,验证了完整性规约的正确性和有效性.
李鹏飞马恒太侯玉文邱田
关键词：移动代理数据完整性形式化方法
全选 清除 导出
共1页<1>
聚类工具0