基于CSP的物联网David数字图书馆协议的改进与形式化分析

时间：2015-01-06 12:00:58 作者：吴名欢；程小辉；

本文作者：吴名欢；程小辉；成功正常投稿发表论文到《计算机科学》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/)投稿信息
【版权所有人】：吴名欢；程小辉；