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

---

Autoria(s): 李鹏飞; 马恒太; 侯玉文; 邱田

Data(s)	2009
Identificador	http://ir.iscas.ac.cn/handle/311060/4986 http://www.irgrid.ac.cn/handle/1471x/68156
Fonte	李鹏飞; 马恒太; 侯玉文; 邱田.移动代理完整性协议形式化分析方法研究,电子学报,2009,37(8):
Palavras-Chave	#移动代理 #数据完整性 #形式化方法 #形式化模型
Tipo	期刊论文