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

	移动代理完整性协议形式化分析方法研究
	李鹏飞 ; 马恒太 ; 侯玉文 ; 邱田
刊名	电子学报
	2009
卷号	37 期号:8
关键词	移动代理数据完整性形式化方法形式化模型
其他题名	research on formal analysis method of mobile agent data integrity protocol
收录类别	wanfang
公开日期	2010-08-26
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/4986]
专题	软件研究所_综合信息系统技术国家级重点实验室 _期刊论文
推荐引用方式 GB/T 7714	李鹏飞,马恒太,侯玉文,等. 移动代理完整性协议形式化分析方法研究[J]. 电子学报,2009,37(8).
APA	李鹏飞,马恒太,侯玉文,&邱田.(2009).移动代理完整性协议形式化分析方法研究.电子学报,37(8).
MLA	李鹏飞,et al."移动代理完整性协议形式化分析方法研究".电子学报 37.8(2009).