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

• 作者: 侯玉文 李鹏飞 邱田 马恒太
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 移动代理 数据完整性 形式化方法 形式化模型
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 学术论文
• 页码范围: 1669-1674
• 页数: 6页
• 分类号: TP309.2
• 字数: 6783字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2009.08.007

摘要

本文给出了移动代理协议数据完整性属性的定义,指出了采用传统认证性属性来分析移动代理数据完整性属性的不足,从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上,针对典型协议实例进行CPS建模,并采用阶函数的方法证明了其完整性,验证了完整性规约的正确性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马恒太	中国科学院综合信息技术国家级重点实验室	34	1503	11.0	34.0
5	李鹏飞	中国科学院综合信息技术国家级重点实验室	33	188	7.0	12.0
14	侯玉文	中国科学院综合信息技术国家级重点实验室	7	30	4.0	5.0