%0 Journal Article
%T 移动代理完整性协议形式化分析方法研究
%A 李鹏飞
%A 马恒太
%A 侯玉文
%A 邱田
%J 电子学报
%P 1669-1674
%D 2009
%X 本文给出了移动代理协议数据完整性属性的定义,指出了采用传统认证性属性来分析移动代理数据完整性属性的不足,从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上,针对典型协议实例进行CPS建模,并采用阶函数的方法证明了其完整性,验证了完整性规约的正确性和有效性.
%K 移动代理
%K 数据完整性
%K 形式化方法
%K 形式化模型
%U http://www.ejournal.org.cn/CN/abstract/abstract5471.shtml