本文作者：吴名欢；程小辉；成功正常投稿发表论文到《计算机科学》2014年01期,引用请注明来源400期刊网！

【摘要】：在分析了物联网通信节点使用的David数字图书馆通信协议运行的基础上,指出了此协议存在阅读器非法扫描标签和协议主体没有会话密钥的安全隐患,提出了解决安全隐患的方案。采用通信顺序进程(CSP)的形式化分析方法对提出的方案进行了建模分析,对复杂环境下的攻击者和各协议主体建立了CSP进程。在实验中,攻击者在Dolev_Yao模型下对新的协议方案模型进行攻击,最后没有发现攻击点。实验结果表明,该协议方案能有效解决David数字图书馆协议的安全隐患,保证了协议主体的相互认证性以及会话密钥的安全性,证明了模型的可行性。
【论文正文预览】：物联网是新一代信息技术的高度集成和综合运用,推动物联网的运用和发展,有利于促进生产生活方式的改变。现在物联网还处于发展的初级阶段,关键技术有待突破,网络信息安全还存在一些隐患。在物联网的发展过程中需要增强对信息系统的安全保障,形成系统安全可用和数据安全可信的
【文章分类号】：TP391.45;TN929.5
【稿件关键词】：物联网形式化分析David数字图书馆协议通信顺序进程
【参考文献】:

• 丁振华;李锦涛;冯波;;基于Hash函数的RFID安全认证协议研究[J];计算机研究与发展;2009年04期
• 赵志军;沈强;唐晖;方旭明;;物联网架构和智能信息处理理论与关键技术[J];计算机科学;2011年08期
• 唐郑熠;李祥;;Dolev-Yao攻击者模型的形式化描述[J];计算机工程与科学;2010年08期
• 薛锐;冯登国;;安全协议的形式化分析技术与方法[J];计算机学报;2006年01期
• 周永彬;冯登国;;RFID安全协议的设计与分析[J];计算机学报;2006年04期
• 张忠;徐秋亮;;物联网环境下UC安全的组证明RFID协议[J];计算机学报;2011年07期
• 伍新华;唐翠婷;;一种基于Hash的RFID双向认证协议[J];武汉理工大学学报(交通科学与工程版);2011年03期
• 卿斯汉;认证协议两种形式化分析方法的比较[J];软件学报;2003年12期
• 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
• 王思叶;祁峰;;RFID应用安全前沿技术综述(下)[J];保密科学技术;2012年01期
• 张彩霞;程良伦;;基于Hash的RFID安全协议的设计[J];包装工程;2009年01期
• 胡向东;李科;柏松;安东阳;;射频识别系统安全性设计[J];重庆邮电大学学报(自然科学版);2008年01期
• 周治国;李文印;李同;邓春燕;曹耀夫;;基于RFID的新型机动车号牌及自动识别系统[J];吉林大学学报(信息科学版);2008年04期
• 刘明生;王艳;赵新生;;基于Hash函数的RFID安全认证协议的研究[J];传感技术学报;2011年09期
• 王文闯;王可人;;一种基于动态密钥的低成本射频识别标签安全方案[J];电讯技术;2008年03期
• 周治国;李文印;李同;邓春燕;;基于RFID的汽车号牌自动识别系统的安全性设计[J];东北师大学报(自然科学版);2008年02期
• 孙培彦;田卫萍;杨树青;;影响RFID数据安全的因素分析[J];电脑开发与应用;2009年05期
• 李志全;王猛;苑苗苗;;基于Hash函数的RFID安全认证协议研究[J];电脑开发与应用;2011年07期
• 王灿明;卢友敏;;RFID认证协议安全及其防伪应用研究[J];电脑知识与技术;2008年10期
• 戴清杰;潘俊涛;段凯科;余治兵;王猛;;RFID安全技术研究[A];四川省通信学会2011年学术年会论文集[C];2011年
• 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（上）[C];2006年
• 张兆心;方滨兴;张宏莉;;基于BAN逻辑的SIP网络中认证协议安全性分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（下）[C];2006年
• 彭朋;韩伟力;赵一鸣;周建锁;董浩然;;基于RFID的物联网安全需求研究[A];全国计算机安全学术交流会论文集·第二十五卷[C];2010年
• 罗晖;;基于RFID的物业管理系统设计[A];第六届全国信息获取与处理学术会议论文集（3）[C];2008年
• 苏士娟;石为人;周伟;石欣;;普适计算环境下无线传感器网络与RFID融合的安全机制研究[A];2010中国仪器仪表与测控技术大会论文集[C];2010年
• 赵婷;王健;;基于Hash函数的RFID动态认证协议[A];2010年全国通信安全学术会议论文集[C];2010年
• 宋亚峰;马艳钦;陈利羽;姜勇;吴健蕾;杨海波;张海燕;;基于RFID技术的核燃料储运一体化管控平台[A];中国核科学技术进展报告（第二卷）——中国核学会2011年学术年会论文集第10册（核情报（含计算机技术）分卷、核技术经济与管理现代化分卷）[C];2011年
• 赵卫强;赵治栋;;基于射频识别的心音身份认证系统研究[A];浙江省信号处理学会2012学术年会论文集[C];2012年
• 葛瀛龙;金凌;;物联感知技术在公交停车场管理系统中应用研究[A];第八届中国智能交通年会优秀论文集——智能交通与安全[C];2013年
• 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
• 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
• 杨力;无线网络可信认证技术研究[D];西安电子科技大学;2010年
• 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年
• 周志勇;密码协议攻击规划理论及算法研究[D];解放军信息工程大学;2009年
• 李向东;公平交换协议的形式化分析与设计[D];解放军信息工程大学;2009年
• 费晓飞;空间通信协议安全性研究[D];解放军信息工程大学;2008年
• 陈莉;电子商务安全协议的设计与分析[D];解放军信息工程大学;2009年
• 李建成;射频识别系统空中接口通信协议关键技术研究与实现[D];国防科学技术大学;2011年
• 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
• 乌东建;基于AVR的RFID阅读器和应答器的设计研究与实现[D];哈尔滨工程大学;2010年
• 蔡照鹏;DD-S-CPK-IC在改进SSLVPN记录层的应用[D];辽宁工程技术大学;2010年
• 张锦涛;RFID系统标签隐私保护物理机制的研究[D];长沙理工大学;2010年
• 赵婷;无线射频识别安全协议的研究与设计[D];北京邮电大学;2011年
• 崔玉胜;融合安全机制的RFID防碰撞协议研究[D];南昌大学;2010年
• 程莹;网络安全协议的模型检测分析及验证系统[D];南昌大学;2010年
• 朱文也;安全协议形式化分析关键问题研究[D];解放军信息工程大学;2009年
• 鲁文静;异构无线融合网络中通用接入认证协议研究[D];解放军信息工程大学;2009年
• 徐伟;安全协议自动化分析系统的设计与实现[D];解放军信息工程大学;2009年
• 陈晨;安全协议形式化模型刻画与代数属性研究[D];解放军信息工程大学;2010年
• 张彩霞;程良伦;;基于Hash的RFID安全协议的设计[J];包装工程;2009年01期
• 宁焕生;张瑜;刘芳丽;刘文明;渠慎丰;;中国物联网信息服务系统研究[J];电子学报;2006年S1期
• 武成岗,焦文品,田启家,史忠植;基于本体论和多主体的信息检索服务器[J];计算机研究与发展;2001年06期
• 周宏斌,黄连生,桑田;基于串空间的安全协议形式化验证模型及算法[J];计算机研究与发展;2003年02期
• 李梦君,李舟军,陈火旺;基于进程代数安全协议验证的研究综述[J];计算机研究与发展;2004年07期
• 顾永跟;傅育熙;;基于进程演算和知识推理的安全协议形式化分析[J];计算机研究与发展;2006年05期
• 王焕宝;张佑生;李援;;安全协议的串空间图表示[J];计算机研究与发展;2006年12期
• 廖乐健,曹元大,李新颖;基于Ontology的信息抽取[J];计算机工程与应用;2002年23期
• 徐振宁;张维明;陈文伟;;基于Ontology的智能信息检索[J];计算机科学;2001年06期
• 李国强;顾永跟;傅育熙;;基于Spi演算的Kerberos认证协议形式化研究[J];计算机科学;2004年11期
• 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
• 孔宁;物联网资源寻址关键技术研究[D];中国科学院研究生院（计算机网络信息中心）;2008年
• 王书朋;视频目标跟踪算法研究[D];西安电子科技大学;2009年
• 薛伟冬;共性服务集成与运营支撑系统中AAA服务子系统的研究与实现[D];北京邮电大学;2009年
• 李超良;;物联网隐私保护机制简介[J];福建电脑;2011年04期
• 王刚;;我国的物联网技术标准编制工作将进一步加强[J];物联网技术;2011年04期
• 潘林;赵会群;孙晶;;基于网格技术的物联网Savant中间件的实现技术[J];计算机应用研究;2007年06期
• 宋合营;赵会群;;物联网分布式识读器数据采集方案设计与实现[J];北方工业大学学报;2008年01期
• 王小妮;魏桂英;;物联网RFID系统数据传输中密码算法的研究[J];北京信息科技大学学报(自然科学版);2009年04期
• 熊静;李蕊;李洁;;电信运营商创新型Telematics应用及技术趋势探讨[J];电信科学;2010年04期
• 陈荆花;王洁;;浅析手机二维码在物联网中的应用及发展[J];电信科学;2010年04期
• 杨智文;;从互联网和3G看物联网[J];射频世界;2010年01期
• 周喆;;运用二维条形码技术实现图书借阅管理[J];当代图书馆;2010年02期
• 于修和;王冲;;基于移动通信网络的物联网应用研究[J];通信管理与技术;2010年03期
• 朱顺强;;中国物联网发展状况分析[A];中国通信学会2010年光缆电缆学术年会论文集[C];2010年
• 曾跃;罗斌;周东晓;;关注物联网发展:冷静分析,务实前行[A];两化融合与物联网发展学术研讨会论文集[C];2010年
• 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用（CACIS）学术会议论文集（下册）[C];2006年
• 王庆;邢怀滨;;物联网带来的伦理挑战[A];全球化视阈中的科技与社会——全国科技与社会（STS）学术年会（2007）论文集[C];2007年
• 范锐;刘小辉;;企业实体构件动态演化模型[A];2009中国控制与决策会议论文集（3）[C];2009年
• 郑兆铭;;物联网产业相关企业标准化之路的思考[A];经济发展方式转变与自主创新——第十二届中国科学技术协会年会（第一卷）[C];2010年
• 王忠锋;于文召;朱珍;李力刚;黄剑龙;;物联网在冶金工业能源管理中的应用[A];2010中国仪器仪表学术、产业大会（论文集2）[C];2010年
• 李研;吴淼;吕廷杰;赵蔚;;国外物联网发展情况及对中国物联网发展的启示[A];两化融合与物联网发展学术研讨会论文集[C];2010年
• 赵雨;陈金鹰;丁然;;物联网引领第三次信息产业革命[A];四川省通信学会2010年学术年会论文集[C];2010年
• 文静华;张梅;张焕国;;电子支付协议的博弈逻辑模型与形式化分析[A];2007年全国开放式分布与并行计算机学术会议论文集(上册)[C];2007年
• 陈俊清;可信普适服务的形式化分析与验证[D];上海交通大学;2012年
• 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
• 王全来;密码协议的形式化分析方法研究[D];解放军信息工程大学;2009年
• 鲁来凤;安全协议形式化分析理论与应用研究[D];西安电子科技大学;2012年
• 何安平;基于层次模型的混合系统形式化分析与验证[D];兰州大学;2011年
• 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
• 肖锋;物联网电子标签安全协议的研究与设计[D];北京邮电大学;2013年
• 杨世平;安全协议及其BAN逻辑分析研究[D];贵州大学;2007年
• 汪学明;多方安全协议的形式化分析方法研究与应用[D];贵州大学;2008年
• 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
• 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
• 刘霞;移动电子商务协议的模型检验分析与设计研究[D];桂林电子科技大学;2006年
• 范钰丹;密码协议非否认性和公平性验证技术研究[D];解放军信息工程大学;2007年
• 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
• 李晨;关于密码协议的形式化分析方法的研究[D];电子科技大学;2010年
• 党继胜;基于SVO逻辑的电子商务协议形式化分析与研究[D];贵州大学;2007年
• 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年
• 李志新;基于串空间理论的电子商务协议安全性研究[D];大连理工大学;2008年
• 李仓元;移动Ad Hoc网络安全协议的形式化分析研究与应用[D];合肥工业大学;2010年
• 袁亚飞;逻辑化方法的改进及若干密码协议安全性分析[D];中国人民解放军信息工程大学;2005年

【稿件标题】：基于CSP的物联网David数字图书馆协议的改进与形式化分析
【作者单位】：桂林理工大学信息科学与工程学院;
【发表期刊期数】：《计算机科学》2014年01期
【期刊简介】：本刊以其新颖、准确、及时为特色，突出动态性、综述性、学术性。报告特点是：“前沿科学”与“基础研究”相结合；“核心技术”与“支撑技术”相结合；“倡导”与“争鸣”相结合。广采百家之长，博览计算机世界之态势。重在突出文章的思想性，令人有开拓思路之......更多计算机科学杂志社(http://www.400qikan.com/qk/1234/)投稿信息
【版权所有人】：吴名欢；程小辉；

更多科技类论文详细信息: 基于CSP的物联网David数字图书馆协议的改进与形式化分析
http://www.400qikan.com/lunwen/keji/16046.html

相关专题：中国发明与专利 中国发明专利网 中国专利网小发明 中国发明与专利杂志 最新发明专利 发明与创新 中国发明与专利 投稿 发明与创造 发明专利 中国发明 枣庄学院官网 我国金融监管问题探析 《计算机科学》相关期刊

推荐期刊：

中国中小企业

石油地质与工程

一重技术

农村百事通

泥沙研究

江苏水利

医药工程设计

公共管理学报

收藏界

神经解剖学杂志

上一篇：中国与欧美输电网安全稳定标准比对
下一篇：打字比赛系统中字符串匹配算法