移动代理完整性协议形式化分析方法研究

李鹏飞; 马恒太; 侯玉文; 邱 田

您当前的位置：

首页 >

文章列表页 >

移动代理完整性协议形式化分析方法研究

论文 | 更新时间：2025-07-16

- 移动代理完整性协议形式化分析方法研究
- Research on Formal Analysis Method of Mobile Agent Data Integrity Protocol
- 电子学报 2009年37卷第8期页码：1669-1674
- 作者机构：
  
  1. 中国科学院综合信息技术国家级重点实验室,北京,100190
  2. 中国科学院软件研究所,北京,100190
  3. 中国科学院研究生院,北京,100039
  4. 天津大学电子信息学院,天津,300072
  5. 中国科学院综合信息技术国家级重点实验室北京,100190
  6. 中国科学院软件研究所北京,100190
  7. 中国科学院研究生院北京,100039
  8. 天津大学电子信息学院天津,300072
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.60573042);中国科学院创新基金 (No.CXJJ251)
- DOI：
  中图分类号： TP309.2
- 纸质出版：2009
- 稿件说明：
移动端阅览
李鹏飞, 马恒太, 侯玉文, 等. 移动代理完整性协议形式化分析方法研究[J]. 电子学报, 2009,37(8):1669-1674.

LI Peng-fei, MA Heng-tai, HOU Yu-wen, et al. Research on Formal Analysis Method of Mobile Agent Data Integrity Protocol[J]. Acta Electronica Sinica, 2009, 37(8): 1669-1674.
李鹏飞, 马恒太, 侯玉文, 等. 移动代理完整性协议形式化分析方法研究[J]. 电子学报, 2009,37(8):1669-1674. DOI：

LI Peng-fei, MA Heng-tai, HOU Yu-wen, et al. Research on Formal Analysis Method of Mobile Agent Data Integrity Protocol[J]. Acta Electronica Sinica, 2009, 37(8): 1669-1674. DOI：

摘要

本文给出了移动代理协议数据完整性属性的定义

指出了采用传统认证性属性来分析移动代理数据完整性属性的不足

从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上

针对典型协议实例进行CPS建模

并采用阶函数的方法证明了其完整性

验证了完整性规约的正确性和有效性.

Abstract

This paper gives a formal analysis method of mobile agent data integrity protocol.We pointed out that authentication property is not suit to analysis mobile agent data integrity

and proposed two formal specifications for mobile agent data integrity.We constructed a CSP model for a concrete mobile agent data integrity protocol

checked its integrity using rank function.These works prove formal analysis method is effective in analyzing mobile agent data integrity protocol.

关键词

Keywords

references

浏览量

993

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一个匿名Internet移动代理方案

RBRS:一种基于角色的移动代理协作模型