Research on Formal Analysis Method of Mobile Agent Data Integrity Protocol

LI Peng-fei; MA Heng-tai; HOU Yu-wen; QIU Tian

您当前的位置：

首页 >

文章列表页 >

Research on Formal Analysis Method of Mobile Agent Data Integrity Protocol

更新时间：2025-07-16

- Research on Formal Analysis Method of Mobile Agent Data Integrity Protocol
- Acta Electronica Sinica Vol. 37, Issue 8, Pages: 1669-1674(2009)
- 作者机构：
  
  1. 中国科学院综合信息技术国家级重点实验室,北京,100190
  2. 中国科学院软件研究所,北京,100190
  3. 中国科学院研究生院,北京,100039
  4. 天津大学电子信息学院,天津,300072
  5. 中国科学院综合信息技术国家级重点实验室北京,100190
  6. 中国科学院软件研究所北京,100190
  7. 中国科学院研究生院北京,100039
  8. 天津大学电子信息学院天津,300072
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP309.2
- Published：2009
- 稿件说明：
移动端阅览
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：

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

Views

993

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

An Anonymous Internet Mobile Agent Scheme

RBRS:A Role-Based Mobile Agent Coordination Model

Related Author

WANG Chang-jie

ZHANG Fang-guo

WANG Yu-min

LI Gang

LI Zeng-zhi

WANG Yu

WANG Li

Related Institution

National Key Lab.on ISN,Xidian University

Sysnet Institute,Xi'an Jiao Tong University

⁰