删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

PKI及可信电子签名系统的研究

北京航空航天大学 辅仁网/2017-07-06

文献详情


PKI及可信电子签名系统的研究
文献类型学位
作者刘海龙[1]
机构
授予学位博士
年度2003
学位授予单位北京航空航天大学
语言中文
关键词公钥基础设施;公钥密码学;数字签名;电子签名;信任模型;谓词逻辑;抗抵赖;电子病历
摘要在对PKI的组成及功能进行整体描述后,重点研究了PKI的信任模型,并提出了一种利用谓词逻辑对PKI信任模型进行形式化建模的方法.PKI中实体之间的相互关系组成了PKI的信任模型,对三种典型的信任模型进行了比较分析.针对几种形式化方法的弊端,提出了一种用条件谓词逻辑表示的建模方法.该方法通过区分用户实体与CA的不同,用四个谓词对PKI中的信任关系进行刻画,将X.509证书中关于认证路径和证书策略的约束作为谓词逻辑成立的条件,加入到谓词演算当中,更真实的反映了PKI中实体间的信任关系.利用条件谓词逻辑,既能够对一个PKI的信任模型进行整体描述,也可从用户的角度对CA的信任度和实体公钥的真实性进行精确推理,弥补了图形法的不足.不同PKI之间的互操作是PKI的最大挑战,分析了几种典型的互操作方案,提出了PKI互操作的一般性原则.结合电子签名法律,设计并实现了基于智能卡的可信签名系统.法律上对电子签名有特殊的要求,而这些要求需要更详细的技术规范的支持,只有满足这些技术规范的电子签名,才具有与手写签名同等的效力,该文称之为可信电子签名.欧洲电子签名标准化动议(EESSI)在此方面的标准,堪称电子签名标准典范.参考EESSI,设计并实现了基于智能卡的可信签名系统.可信签名是在实际中应用电子签名的必要条件,对电子签名法的实施具有重要意义.抗抵赖是保证电子交易有效的重要手段,对抗抵赖服务进行了详细地分析,并设计了创建抗抵赖服务原型.不同的应用环境下,抗抵赖具有不同的解释:ISO抗抵赖框架将抗抵赖作为一种网络安全服务;学术中则在其基础上为同时实现原发和接收抗抵赖进行了公平抗抵赖协议的讨论;在法律上将抗抵赖作为司法裁决后可确定的一种属性.在分析了对抗抵赖的不同解释之后,从现实中商务的角度出发,设计了创建抗抵赖服务.电子证据是抗抵赖服务的基本要素,保持证据的长期有效是创建抗抵赖的关键,分析了如何利用时间戳来实现数字签名的长期有效,并给出信息模型.综合以上对PKI、电子签名、抗抵赖等技术的研究工作,最后设计了医疗电子病历防伪方案原型.建立卫生系统PKI是实现电子病历防伪的前提,可信电子签名系统是法律上的要求,而保持电子签名长期有效则是电子病历中心必须提供的服务.电子病历防伪方案原型是对该文所研究内容的全面应用.



影响因子:


暂无成果共有人
dc:title:PKI及可信电子签名系统的研究
dc:creator:刘海龙
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media:北京航空航天大学
dc:identifier: LnterrelatedLiterature:北京航空航天大学.2003.
dc:identifier:DOI:
dc: identifier:ISBN:
闂傚倸鍊烽懗鍫曞箠閹捐瑙﹂悗锝庡墮閸ㄦ繈骞栧ǎ顒€濡肩痪鎯с偢閺屻劑鎮ら崒娑橆伓2濠电姷鏁搁崑鐐哄垂閸洖绠扮紒瀣紩濞差亜惟闁冲搫顑囩粙蹇涙⒑閸︻厼鍔嬫い銊ユ瀹曠敻鍩€椤掑嫭鈷戦柛娑橈工婵箑霉濠婂懎浠辩€规洘妞介弫鎾绘偐瀹曞洤骞橀梻浣告惈椤︻垶鎮樺┑瀣辈闁靛繈鍊栭悡鐔兼煥閺囨浜惧銈忓閺佸鐛崘鈺冾浄閻庯綆鍋掑Λ鍐ㄢ攽閻愭潙鐏︾痪鏉跨Ч楠炲濡堕崱娆戭啎闂佺懓顕崑鐐核夐弽顓熷仯濞撴艾锕﹂幃鍏间繆閸欏濮囬柍璇查叄楠炲洭宕滄担铏瑰幀濠电姷顣藉Σ鍛村垂闂堟稈鏋嶉柨婵嗘媼濞尖晠鏌曟繛鐐珕闁绘挶鍎茬换娑㈠箣閻愩劎绱伴梺缁樺浮閺€閬嶅Φ閸曨垼鏁冮柕蹇婃櫅閸撻亶姊洪幐搴b姇闁告梹鐟╅悰顔锯偓锝庡櫘閺佸秵绻濇繝鍌涘婵″弶鎸冲缁樻媴閸涢潧婀遍幑銏ゅ箛椤斿墽鐓嬮梺缁樺灱濡嫰宕归崒鐐寸厱鐎光偓閳ь剟宕戦悙鍝勭;闁靛ň鏅滈悡銉╂煟閺囩偛鈧湱鈧熬鎷�
濠电姷鏁告慨浼村垂瑜版帗鍋夐柕蹇嬪€曢悙濠勬喐瀹ュ棙鍙忛柕鍫濐槹閳锋垿鏌涘☉姗堝伐缂佹甯楁穱濠囶敃閿濆洦鍒涘銈冨灪濡啯鎱ㄩ埀顒勬煏閸繃锛嶆俊顐㈠閺岋絾鎯旈婊呅i梺鍝ュУ閻楃姴鐣烽姀銈呯妞ゆ梻鏅崢鎼佹⒑閸涘﹥绀嬫繛浣冲洦鍊堕柨婵嗘娴滄粓鏌熺€涙ḿ绠栧璺哄缁辨帞鈧綆浜跺Ο鈧梺绯曟杹閸嬫挸顪冮妶鍡楀潑闁稿鎹囬弻宥囨嫚閺屻儱寮板┑锟犵畺娴滃爼寮诲鍫闂佸憡鎸婚悷鈺佺暦椤栨稑顕遍悗娑櫭禍顖氣攽閻愬弶鈻曞ù婊勭箞瀵煡顢楅崟顒€鈧爼鏌i幇顔芥毄闁硅棄鍊块弻娑㈠Χ閸ヮ灝銏ゆ婢跺绡€濠电姴鍊搁弳锝嗐亜鎼淬埄娈曢柕鍥у閸╃偤顢橀悙宸痪婵犳鍨遍幐鎶藉蓟閿熺姴鐐婇柍杞扮劍閻忎線姊洪崨濠勬喛闁稿鎹囧缁樻媴閸濄儳楔濠电偘鍖犻崱鎰睏闂佺粯鍔楅弫鍝ョ不閺冨牊鐓欓柟顖嗗苯娈堕梺宕囩帛濮婂綊骞堥妸銉庣喓鎷犻幓鎺濇浇闂備焦鎮堕崐褏绮婚幘璇茶摕闁绘棁娅i惌娆撴煙缁嬪灝顒㈤柟顔界懇濮婄儤瀵煎▎鎴犘滅紓浣哄У閻楁洟顢氶敐澶樻晝闁冲灈鏅滈悗濠氭⒑瑜版帒浜伴柛妯哄⒔缁瑩宕熼娑掓嫼闂佸湱枪濞寸兘鍩ユ径鎰厸闁割偒鍋勬晶瀵糕偓瑙勬礀缂嶅﹥淇婂宀婃Ъ婵犳鍨伴妶鎼佸蓟濞戞ǚ妲堟慨妤€鐗婇弫鍓х磽娴e搫校閻㈩垳鍋ら崺鈧い鎺嗗亾闁诲繑鑹鹃…鍨潨閳ь剟骞冭瀹曞崬霉閺夋寧鍠樼€规洜枪铻栧ù锝夋櫜閻ヮ亪姊绘担渚敯闁规椿浜浠嬪礋椤栨稒娅栭梺鍝勭▉閸樹粙鎮¤箛娑欑厱闁斥晛鍟粈鈧銈忕岛閺嗘竼e濠电姷鏁告慨浼村垂閸︻厾绀婂┑鐘叉搐閻掑灚銇勯幒宥堝厡闁愁垱娲熼弻鏇㈠幢濡も偓閺嗭綁鏌$仦鍓ф创妤犵偞甯¢獮瀣倻閸℃﹩妫у┑锛勫亼閸婃牜鏁悙鍝勭獥闁归偊鍠氶惌娆忊攽閻樺弶澶勯柛瀣姍閺岋綁濮€閵忊剝姣勯柡浣哥墦濮婄粯鎷呯粙鎸庡€┑鐘灪閿曘垹鐣烽娑橆嚤閻庢稒锚娴滎垶姊洪崨濠勭畵濠殿垵椴搁幆鏃堝閿涘嫮肖婵$偑鍊栭崝妤呭窗鎼淬垻顩插Δ锝呭暞閻撴盯鏌涢妷锝呭闁汇劍鍨块弻锝夋偄閸欏鐝旈梺瀹犳椤︾敻鐛Ο鑲╃闁绘ê宕銏′繆閻愵亜鈧牕煤濠靛棌鏋嶉柡鍥╁亶缂傛岸鐓崶銊р槈鐎瑰憡绻冮妵鍕箻濡も偓閸燁垶顢欓敓锟�20婵犲痉鏉库偓妤佹叏閻戣棄纾婚柣妯款嚙缁犲灚銇勮箛鎾搭棡妞ゎ偅娲樼换婵嬫濞戝崬鍓扮紓浣哄У閸ㄥ潡寮婚妶鍡樺弿闁归偊鍏橀崑鎾澄旈埀顒勫煝閺冨牆顫呴柣妯烘閹虫捇銈导鏉戠闁冲搫锕ラ敍鍛磽閸屾瑧顦︽い锔诲灦椤㈡岸顢橀姀鐘靛姦濡炪倖宸婚崑鎾寸節閳ь剟鏌嗗鍛紱闂佺粯姊婚崢褔寮告笟鈧弻鏇㈠醇濠垫劖效闂佺ǹ楠哥粔褰掑蓟濞戙垹鍗抽柕濞垮劚椤晠姊烘导娆戠暠缂傚秴锕獮鍐ㄎ旈崘鈺佹瀭闂佸憡娲﹂崣搴ㄥ汲閿熺姵鈷戦柛婵嗗椤ユ垿鏌涚€n偅宕屾慨濠冩そ瀹曨偊宕熼崹顐嵮囨⒑閸涘﹥鈷愰柣妤冨█楠炲啴鏁撻悩铏珫闂佸憡娲﹂崜娆撴偟娴煎瓨鈷戦梻鍫熺〒缁犳岸鏌涢幘瀵哥疄闁诡喒鈧枼鏋庨柟閭﹀枤椤旀洘绻濋姀锝嗙【妞ゆ垵妫涚划鍫ュ焵椤掑嫭鍊垫繛鍫濈仢濞呭秹鏌¢埀顒勫础閻戝棗娈梺鍛婃处閸嬫帡宕ョ€n喗鐓曢柡鍥ュ妼楠炴ɑ淇婇崣澶婄伌婵﹥妞藉畷顐﹀礋椤愮喎浜惧ù鐘差儜缂嶆牕顭跨捄鐑樻拱闁稿繑绮撻弻娑㈩敃閿濆棛顦ㄩ梺鍝勬媼閸撶喖骞冨鈧幃娆撴濞戞顥氱紓鍌欒兌婵數鏁垾鎰佹綎濠电姵鑹鹃悙濠囨煥濠靛棙鍣稿瑙勬礋濮婃椽鎳¢妶鍛€惧┑鐐插级閸ㄥ潡骞婂Δ鍐╁磯閻炴稈鍓濋悘渚€姊虹涵鍛涧闂傚嫬瀚板畷鏇㈠箣閿旇棄鈧敻鏌ㄥ┑鍡涱€楁鐐瘁缚缁辨帡鎮╁畷鍥р拰闂佸搫澶囬崜婵嗩嚗閸曨偀妲堟繛鍡楁禋娴硷拷
相关话题/电子 逻辑 系统 设计 学位

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 遥控,手动可调光电子镇流器的研究及设计
    文献详情遥控,手动可调光电子镇流器的研究及设计文献类型学位作者路秋生[1]机构北京航空航天大学↓授予学位硕士年度2003学位授予单位北京航空航天大学语言中文关键词荧光灯;可调光;电子镇流器;红外遥控;照明装置摘要随着计算机技术的不断发展,计算机技术也在不断向各种传统工业应用技术领域扩展、渗透,在以信 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 基于分布式技术的飞机总体虚拟样机设计环境的原型研究
    文献详情基于分布式技术的飞机总体虚拟样机设计环境的原型研究文献类型学位作者王钢林[1]机构北京航空航天大学↓授予学位博士年度2003学位授予单位北京航空航天大学语言中文关键词飞机设计;总体设计;虚拟样机;分布式技术;设计工具;系统集成;原型系统;飞机建模摘要总体设计是整个飞机研发过程中的一个重要阶段 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 面向并行工程的航空发动机外部系统设计研究
    文献详情面向并行工程的航空发动机外部系统设计研究文献类型学位作者陈志英[1]机构北京航空航天大学↓授予学位博士年度2003学位授予单位北京航空航天大学语言中文关键词航空发动机;并行工程;外部系统;过程管理;数字样机摘要该文首先介绍了航空发动机外部附件布局及管线敷设的概念,叙述了该领域国内外研究状况, ...
    北京航空航天大学 辅仁网 2017-07-06
  • 安防系统平台的设计与实现
    文献详情安防系统平台的设计与实现文献类型学位作者文仁君[1]机构北京航空航天大学↓授予学位硕士年度2003学位授予单位北京航空航天大学语言中文关键词安防系统;安全技术防范;系统控制;安防系统平台摘要该文采用了设计模式思想和组件技术,提出了一种安防系统平台的设计.该平台的内容包括:在所有的安防设备都提 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 基于网络的CAPP系统支持环境的研究与应用
    文献详情基于网络的CAPP系统支持环境的研究与应用文献类型学位作者文新[1]机构北京航空航天大学↓授予学位硕士年度2003学位授予单位北京航空航天大学语言中文关键词网络CAPP;工艺流程管理;XML/XSL;工艺数据管理摘要该文针对先进制造系统的要求,对基于网络的CAPP系统的支持环境的相关技术基础 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 智能泵及其实验系统研究
    文献详情智能泵及其实验系统研究文献类型学位作者马俊功[1]机构北京航空航天大学↓授予学位博士年度2003学位授予单位北京航空航天大学语言中文关键词智能泵;自适应控制;模糊控制;神经网络控制;计算机辅助测试;虚拟仪器摘要该文首先提出了一种新型智能泵结构形式——带复位弹簧的伺服阀直接驱动形式,从根本上解 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 大规模定制环境下产品配置系统研究及实现
    文献详情大规模定制环境下产品配置系统研究及实现文献类型学位作者王占斌[1]机构北京航空航天大学↓授予学位硕士年度2003学位授予单位北京航空航天大学语言中文关键词大规模定制;产品配置;BOM;PVS;VCM摘要大规模定制是适合市场分散化,产品生产向多品种、小批量发展而出现的一种生产模式.产品配置是实 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 力觉交互系统建模分析与设计方法研究
    文献详情力觉交互系统建模分析与设计方法研究文献类型学位作者罗杨宇[1]机构北京航空航天大学↓授予学位博士年度2003学位授予单位北京航空航天大学语言中文关键词力觉交互;稳定性;透明性;导纳再现;虚拟匹配;各向同性摘要在虚拟现实力觉交互系统中,为提高系统模拟虚拟环境的能力,该文对系统建模和分析方法进行 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 基于Web服务技术的分布式系统应用研究
    文献详情基于Web服务技术的分布式系统应用研究文献类型学位作者陶凯[1]机构北京航空航天大学↓授予学位硕士年度2003学位授予单位北京航空航天大学语言中文关键词分布式系统;Web服务技术;SOAP;企业级摘要该文目的是对当前企业级分布式系统进行分析,找出以CORBA、DCOM为代表的传统分布式技术的 ...
    北京航空航天大学 辅仁网 2017-07-06
  • 基于工作流技术的科技计划项目管理系统设计与实现
    文献详情基于工作流技术的科技计划项目管理系统设计与实现文献类型学位作者温永春[1]机构北京航空航天大学↓授予学位硕士年度2003学位授予单位北京航空航天大学语言中文关键词科技项目管理系统;MIS;工作流;工作流管理系统摘要该文利用Domino/Notes系统强大的文档处理能力和它自带的工作流机制,在 ...
    北京航空航天大学 辅仁网 2017-07-06