保密以太网卡密钥协商协议的研究.pdf.pdf

中国人民解放军信息工程大学硕士学位论文保密以太网卡密钥协商协议的研究姓名:刘晓静申请学位级别:硕士专业:军事通信学指导教师:苏锦海 20060401 信息1=程大学硕士学位论文摘要保密以太网卡是将数据加密技术集成到网卡上,对链路层数据提供加密和认证服务的安全设备。在保密以太网卡通信中,信息的加密传输需要大量的密钥,因此,保密以太网卡的密钥管理就显得极为重要。其中,密钥的安全分发是保密以太网卡密钥管理中关键的问题。本课题以“10M/100M保密以太网卡”科研项目为研究背景,深入研究了保密以太网卡的密钥管理技术,分析了几个典型的密钥协商协议,结合保密以太网卡自身特点设计了保密以太网卡密钥管理方案,在此基础上,,设计了保密以太网卡的密钥协商协议,对该协议运用BAN类逻辑的分析工具SVO逻辑进行了形式化的逻辑分析,软件对该协议进行了仿真验证,证明了该协议能实现保密以太网卡密钥的协商和密钥的安全分发。关键词: 第1II页信息工程大学硕士学位论文 ABSTRACT The Secure work Card,which is asortofsafety,integrates thedataencryption technology work cardand provides theencryption and theauthentication servicesto the willneed large numbers ofkeys forencrypted information transmission munications iftheterminal units installthe Secure ,the key management appears extremelyimportant totheSecure work ,the safe distribution ofkeys isthepivotal issue inthekey management oftheSecure work Card. Taking thesubject of‘'the10M/100M Secure work Card'’as theresearch background,this articlehasmade an in—depthstudy aboutthekeymanagement technology ofthe Secure work Card,analyzed several typical key agreement protocols anddesigned a key management scheme of the Secure work Card associating with itsown thisfoundation,it has designed akey agreement protocolwhich integrated Diffie-Hellman’S key exchange thoughts witll the symmetrical cryptogram system key ,it hasmade aformalizedlogicalanalysis about thisprotocol by using theclass BAN logic’Sanalysis toolSVO,carried outthesimulation on itbyusing the software,and proven thatthiskeyagreement protocol could realizethe consultation of keysand the safedistribution ofkeys inthe Secure work Card. Keywords:Secure work Card,Secure Protocol,Key management,key agreement,SVO Logic, 第1V页论文原创性声明和使用授权本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知,除了本文中特别加以标注和致谢中所罗列的内容外,论文中不包含其它人已经发表或撰写过的研究成果;也不包含为获得信息工程大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中做了明确的说明并表示了谢意。本人完