移动代理完整性协议形式化分析方法研究
其他题名research on formal analysis method of mobile agent data integrity protocol
李鹏飞; 马恒太; 侯玉文; 邱田
2009
发表期刊电子学报
卷号37期号:8
收录类别wanfang
关键词移动代理 数据完整性 形式化方法 形式化模型
部门归属综合信息系统技术国家级重点实验室
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/4986
专题天基综合信息系统全国重点实验室
推荐引用方式
GB/T 7714
李鹏飞,马恒太,侯玉文,等. 移动代理完整性协议形式化分析方法研究[J]. 电子学报,2009,37(8).
APA 李鹏飞,马恒太,侯玉文,&邱田.(2009).移动代理完整性协议形式化分析方法研究.电子学报,37(8).
MLA 李鹏飞,et al."移动代理完整性协议形式化分析方法研究".电子学报 37.8(2009).
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
2.pdf(531KB) 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[李鹏飞]的文章
[马恒太]的文章
[侯玉文]的文章
百度学术
百度学术中相似的文章
[李鹏飞]的文章
[马恒太]的文章
[侯玉文]的文章
必应学术
必应学术中相似的文章
[李鹏飞]的文章
[马恒太]的文章
[侯玉文]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。