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

您当前的位置：

首页 >

文章列表页 >

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

论文 | 更新时间：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：
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

62

浏览量

1051

下载量

0

CSCD

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

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

一个匿名Internet移动代理方案

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

基于全局初检与局部列表精检的OTFS两阶段检测方法

基于LaFMD处理的新型阈值调控技术研究

端网协同传输技术演进与思考

相关作者

王常杰

张方国

王育民

李钢

李增智

王宇

王立

相关机构

西安电子科技大学ISN国家重点实验室

西安交通大学系统结构与网络研究所