收藏本站
《吉林大学》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

网络化制造平台的两种认证协议及安全性分析

丛士佺  
【摘要】:本文以国家发改委振兴东北老工业基地项目“汽车零部件网络化制造平台”和国家科技攻关项目“汽车零部件网络化制造平台安全机制”的项目开发为研究背景。针对网络化制造平台的特点研究其安全问题,侧重在如何实现安全通信问题上的研究。本文首先对认证协议和形式化分析方法作了简单的介绍,并根据网络化制造平台的特点设计了两种简单认证协议——点到点简单认证协议和可信第三方的简单认证协议。通过使用基于知识与信念推理的模态逻辑方法——SVO逻辑——对以上两个认证协议进行安全性分析,证实他们达到了面向密钥的目标、密钥确认目标和相互信任密钥目标。并总结了设计认证协议的方法步骤。最后,通过OpenSSL中的算法库实现了设计的两种认证协议。
【学位授予单位】:吉林大学
【学位级别】:硕士
【学位授予年份】:2006
【分类号】:TP393.08

免费申请
【引证文献】
中国博士学位论文全文数据库 前1条
1 傅建庆;面向3G-WLAN互联网络的安全协议研究[D];浙江大学;2010年
中国硕士学位论文全文数据库 前1条
1 王瑞娟;网络化制造动态联盟访问控制的研究与实现[D];吉林大学;2007年
【参考文献】
中国期刊全文数据库 前4条
1 江平宇;e-制造系统的实现方法与应用研究[J];计算机集成制造系统-CIMS;2003年04期
2 范玉顺;网络化制造的内涵与关键技术问题[J];计算机集成制造系统-CIMS;2003年07期
3 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
4 杨叔子,吴波,胡春华,程涛;网络化制造与企业集成[J];中国机械工程;2000年Z1期
中国博士学位论文全文数据库 前2条
1 王成良;制造企业信息集成平台若干安全性问题研究[D];重庆大学;2001年
2 闫伟国;网络化制造模式下DNC关键技术研究[D];大连理工大学;2003年
【共引文献】
中国期刊全文数据库 前10条
1 李其荣;“凡事都有可能”——美国硅谷文化探幽[J];安徽史学;2005年04期
2 赵建,朱弋玮;入世背景下产业信息化的迫切性[J];安徽师范大学学报(人文社会科学版);2001年03期
3 陈乐钢;知识经济与企业继续教育[J];华东冶金学院学报(社会科学版);2000年01期
4 李武;网络时代金融安全的探讨[J];安徽工业大学学报(社会科学版);2002年02期
5 李德龙;新时期初中阶段教育创新趋向[J];鞍山师范学院学报;2001年02期
6 吴建成;;未来竞争力与先进制造技术在制造企业中的应用——制造业国有企业与外资企业的竞争力比较研究[J];北方经济;2007年04期
7 焦军强;;国内制造业发展与信息化[J];办公自动化;2008年12期
8 李浩根;;与时俱进——对社会基本矛盾及其规律的解读[J];北华大学学报(社会科学版);2006年05期
9 王云昌;论知识经济与智力资源[J];北京市计划劳动管理干部学院学报;1999年04期
10 张翠轩,陈军,刘忠和,杨庆东;基于分布式网络的数控加工系统[J];北京机械工业学院学报;2004年04期
中国重要会议论文全文数据库 前10条
1 王翔;沈连婠;周自强;;光成型技术在网络化制造中的应用[A];2004“安徽制造业发展”博士科技论坛论文集[C];2004年
2 冯奇斌;吕国强;;面向敏捷制造的分布式测量系统[A];2004“安徽制造业发展”博士科技论坛论文集[C];2004年
3 姜兴宇;杨建宇;唐亮;王宛山;;网络化制造环境下的动态工序质量控制体系研究[A];第二十七届中国控制会议论文集[C];2008年
4 刘牧;;优化人才服务系统 提升人才服务质量[A];北京人才服务行业协会2003、2004、2005年获奖优秀学术研究成果汇编——人才市场的发展与创新(第二集)[C];2006年
5 仇细平;缪祥华;杨晓婕;;Otway-Rees认证协议的分析与改进[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
6 陈冰;江平宇;魏生民;;e-制造环境下的服务资源描述与匹配技术研究[A];先进制造技术论坛暨第三届制造业自动化与信息化技术交流会论文集[C];2004年
7 周祖德;刘泉;龙毅宏;李方敏;;嵌入式技术与数字制造[A];全国先进制造技术高层论坛暨制造业自动化、信息化技术研讨会论文集[C];2005年
8 杨叔子;熊有伦;管在林;杨文玉;;信息时代和网络条件下的制造业发展及其前景[A];新世纪科技与湖北经济发展——2001首届湖北科技论坛论文集[C];2001年
9 吴波;程涛;管在林;杨叔子;;网络化制造与电子商务[A];新世纪科技与湖北经济发展——2001首届湖北科技论坛论文集[C];2001年
10 马韧宾;张艳春;张莉;;基于Web的数控资源网络共享平台的研究[A];2006年河北省轧钢技术与学术年会论文集(下册)[C];2006年
中国博士学位论文全文数据库 前10条
1 张志勇;企业物流资源配置决策方法研究[D];合肥工业大学;2010年
2 胡沙;面向服务的模具企业信息系统集成平台关键技术研究[D];华中科技大学;2010年
3 徐文君;面向制造的网络服务质量相关理论和关键技术研究[D];武汉理工大学;2010年
4 李正军;林—浆—纸产业集群供应链协同管理研究[D];中南林业科技大学;2010年
5 孙卫红;基于知识的网络化制造工艺设计技术及其在机床装备制造中的应用[D];浙江大学;2010年
6 杨春丽;网络化协作条件下R&D动态联盟管理机制研究[D];吉林大学;2011年
7 聂黎;基于基因表达式编程的车间动态调度方法研究[D];华中科技大学;2011年
8 姜奇;异构无线网络匿名漫游研究[D];西安电子科技大学;2011年
9 杨兵;成都市城乡一体化电子政务公共信息服务研究[D];西南交通大学;2011年
10 王惠斌;安全认证协议的设计与分析[D];解放军信息工程大学;2010年
中国硕士学位论文全文数据库 前10条
1 赵鑫;科学知识生产模式的转变及其意义研究[D];哈尔滨师范大学;2010年
2 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
3 贺平照;船舶传动系统网络化设计平台研究[D];哈尔滨工程大学;2010年
4 舒勇;端到端的信息安全传输系统关键技术研究[D];北京交通大学;2011年
5 王开宇;WiMAX网络中认证密钥协商协议设计与分析[D];解放军信息工程大学;2009年
6 石亚宾;基于身份的认证和密钥协商协议研究[D];解放军信息工程大学;2009年
7 邓帆;基于SPALL逻辑的安全协议设计与分析[D];解放军信息工程大学;2010年
8 缪志前;协同生产与商务平台关键技术的研究与应用[D];浙江工商大学;2011年
9 冯开琦;面向汽摩配制造企业的ASP平台研究与开发[D];浙江大学;2009年
10 崔亚彬;基于网络的机电产品虚拟模型库与实时交互系统[D];河北农业大学;2011年
【同被引文献】
中国期刊全文数据库 前10条
1 纪阳,阮征,张平;基于全IP的3GPP-WLAN网络互通体系结构[J];电信工程技术与标准化;2004年03期
2 张友良,汪惠芬;异地协同设计制造关键技术及系统实现[J];工程设计学报;2002年02期
3 段海新,吴建平;计算机网络安全体系的一种框架结构及其应用[J];计算机工程与应用;2000年05期
4 赵耀;尹浩;林闯;;3G与WLAN互连的安全协议和分析[J];计算机工程与应用;2006年02期
5 原玲;;3G与WiMAX联合组网研究[J];计算机工程与应用;2007年03期
6 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
7 杜欣军;王莹;葛建华;王育民;;基于双线性对的Chameleon签名方案(英文)[J];软件学报;2007年10期
8 李帆,郑纬民;基于角色与组织的访问控制模型[J];计算机工程与设计;2005年08期
9 赵玉娟;张浩军;秦兴桥;;无线局域网密钥协商协议安全性分析与改进[J];通信技术;2007年11期
10 朱建明,马建峰;一种高效的具有用户匿名性的无线认证协议[J];通信学报;2004年06期
中国博士学位论文全文数据库 前6条
1 朱建明;无线网络安全方法与技术研究[D];西安电子科技大学;2004年
2 马成樑;基于知识链的企业战略联盟研究[D];复旦大学;2005年
3 吴敏;Web Services访问控制机制及其整合研究[D];东华大学;2006年
4 蒋军;异构无线网络互联的认证和密钥协商研究[D];上海交通大学;2006年
5 曹春杰;可证明安全的认证及密钥交换协议设计与分析[D];西安电子科技大学;2008年
6 张帆;无线网络安全协议的形式化分析方法[D];西安电子科技大学;2007年
中国硕士学位论文全文数据库 前5条
1 刘学锋;安全协议形式化分析及其应用[D];湘潭大学;2004年
2 左伯茹;IMS网络接入安全方案研究[D];北京邮电大学;2006年
3 王倩;BAN类逻辑的研究[D];山东大学;2007年
4 刘琪;IMS下WAPI安全接入的研究与实现[D];北京邮电大学;2008年
5 刘红;异构无线网络密钥协商和认证向量研究[D];山东大学;2009年
【二级引证文献】
中国硕士学位论文全文数据库 前3条
1 赵丹;ASCMS中基于认证授权和责任认定的安全框架研究[D];吉林大学;2008年
2 鞠博;基于角色访问控制策略的动力能源信息系统的设计与开发[D];北京化工大学;2008年
3 邹璇;昆山土山模具公司模具网络化制造系统的设计与开发[D];电子科技大学;2012年
【二级参考文献】
中国期刊全文数据库 前10条
1 张德明;Internet安全——包过滤与防火墙技术[J];重庆邮电学院学报;1999年04期
2 胡向东;电子邮件的安全性[J];重庆邮电学院学报;1998年04期
3 刘家真;网络环境下的电子文件管理要求[J];档案管理;1999年01期
4 熊峰,张德明,伍良靖;CAN总线支持“程序再开”功能的DNC系统[J];电工技术杂志;2000年09期
5 熊峰;构建资源可复用的DNC系统[J];电工技术杂志;2001年08期
6 周继烈,倪益华,程耀东;面向模具制造系统的电火花线切割DNC系统研究[J];电加工与模具;2000年02期
7 周世杰,秦志光,耿技;办公自动化系统中的安全性[J];电子科技大学学报;2000年02期
8 任江,袁宏春;对SSL协议及其安全性分析[J];电子科技大学学报;1998年04期
9 易红,倪中华;适用于网络化制造模式的数控系统的研究[J];东南大学学报(自然科学版);2002年03期
10 吴刚,白英彩;基于CORBA的网络安全管理实现方案[J];电脑开发与应用;1999年02期
【相似文献】
中国期刊全文数据库 前10条
1 刘佳潇;曾光;韩文报;;改进的3G认证与密钥协商协议[J];信息工程大学学报;2006年04期
2 曹阳;;基于ECC的认证协议及动态密钥管理方案[J];绵阳师范学院学报;2009年05期
3 景东风,戴居丰;基于公钥密码体制的Kerberos分布式认证协议[J];信息安全与通信保密;1999年03期
4 吕明程,吕晶;基于802.1x的WLAN安全性解决方案研究[J];辽宁大学学报(自然科学版);2005年04期
5 赖欣;阮志刚;彭代渊;;基于公钥密码体制的3G认证协议改进[J];信息安全与通信保密;2006年05期
6 杨照芳;程小平;;基于Diff-Hellman的改进Yang-Shieh智能卡认证协议[J];西南师范大学学报(自然科学版);2006年06期
7 王全来;韩继红;王亚弟;;数字移动通信系统中认证协议的设计与分析[J];电子与信息学报;2007年01期
8 徐梦茗;肖聪;唐六华;黄金涛;;安全协议和网络攻击分析[J];信息安全与通信保密;2007年02期
9 王继志;王英龙;王美芳;;基于WPKI的移动通信端到端认证协议[J];计算机应用研究;2007年08期
10 刘庆华;霍腾飞;邓依群;李益发;;基于Hash函数的随机RFID认证协议[J];通信技术;2009年08期
中国重要会议论文全文数据库 前10条
1 余斌霄;王新梅;;轻量级的无线网络认证协议[A];第九届全国青年通信学术会议论文集[C];2004年
2 卿斯汉;;关于“报文重发”型攻击的注记[A];第十一届全国计算机安全技术交流会论文集[C];1996年
3 石春晖;赵战生;;认证协议安全分析[A];第十三届全国计算机安全技术交流会论文集[C];1998年
4 刘志猛;赵燕丽;;数字签名在一类认证和密钥协商协议中的应用和安全分析[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
5 赵婷;王健;;基于Hash函数的RFID动态认证协议[A];2010年全国通信安全学术会议论文集[C];2010年
6 李莉;张顺颐;;对IEEE802.16标准安全体系扩展的探讨[A];2002海峡两岸三地无线科技研讨会论文集[C];2002年
7 唐静;姬东耀;;HB协议的安全性分析及改进[A];第一届中国高校通信类院系学术研讨会论文集[C];2007年
8 张熙;谷利泽;李忠献;;基于USBKEY的Kerberos认证协议的研究与实现[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(上册)[C];2008年
9 刘彤;胡祥义;;基于动态口令和智能卡技术的网络游戏身份认证系统[A];第二十次全国计算机安全学术交流会论文集[C];2005年
10 印润远;杨理;;面向移动环境的加密认证系统模型设计[A];全国计算机安全学术交流会论文集(第二十三卷)[C];2008年
中国重要报纸全文数据库 前10条
1 陈代寿;业界再掀RADIUS热[N];中国计算机报;2006年
2 记者 常素莉 通讯员 吴兆军 林峪斌;邯钢与长城汽车签订汽车板认证协议[N];河北经济日报;2009年
3 ;NGN网络的认证需求[N];人民邮电;2006年
4 ;Wi-Fi新认证简化安全设置[N];网络世界;2007年
5 刘德环;CCIC河北公司“五大举措”迎改革[N];中国国门时报;2007年
6 沈小雨;该用市场换什么车?[N];财经时报;2007年
7 记者 方尚俊;邯钢“牵手”长城汽车签订汽车板材试制认证协议[N];河北经济日报;2009年
8 本报记者  刘勇  缪传真;掀起江淮认证潮[N];中国国门时报;2006年
9 朱红儒;UMB安全研究[N];人民邮电;2008年
10 北京 马子健;HDMI 1.3将流行,传输速率达10.2Gbps[N];电子报;2007年
中国博士学位论文全文数据库 前10条
1 赵鑫;面向应用的无线传感器网络广播认证协议研究[D];国防科学技术大学;2010年
2 黄尹;认证协议及其在网络安全系统中的应用研究[D];武汉大学;2010年
3 田建波;认证协议的分析设计[D];西安电子科技大学;1998年
4 郑丽娟;身份与位置分离网络中认证协议的研究与设计[D];北京交通大学;2014年
5 王贵林;门限签名方案和认证协议的设计与分析[D];中国科学院软件研究所;2001年
6 马亚娜;WEB环境下的认证技术研究[D];南京理工大学;2003年
7 姜春林;无线漫游网络音视频通信匿名认证研究[D];中南大学;2012年
8 曾晟珂;保护用户隐私的可否认的密码算法研究[D];电子科技大学;2013年
9 张立江;认证和密钥交换协议的分析与设计[D];山东大学;2009年
10 郑东;密码协议的逻辑分析与设计[D];西安电子科技大学;1999年
中国硕士学位论文全文数据库 前10条
1 李维科;椭圆曲线密码体制及其在第三代移动通信中的应用研究[D];重庆邮电大学;2006年
2 张怡华;信息安全系统中用户身份认证技术的研究[D];四川大学;2006年
3 穆灵;无线传感器网络安全认证方案及认证协议的研究与设计[D];解放军信息工程大学;2009年
4 何玮华;无线局域网认证协议的分析与应用[D];四川大学;2005年
5 于洪君;传感器网络广播认证协议的研究[D];哈尔滨工程大学;2010年
6 翁艳琴;移动网络漫游认证协议的形式化研究[D];湖北师范学院;2012年
7 李嘉华;一种基于混合加密的OSGi认证协议研究[D];大连理工大学;2008年
8 谷芳芳;无线局域网非对称认证方案研究与实现[D];合肥工业大学;2009年
9 党岚君;智能卡安全技术的探索与改进[D];西安电子科技大学;2005年
10 游红;移动IPv6绑定更新认证协议设计及分析[D];重庆大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026