欢迎来到天天文库
浏览记录
ID:15733911
大小:137.50 KB
页数:103页
时间:2018-08-05
《形式化验证安全协议java代码的安全性》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、形式化验证安全协议Java代码的安全性学校代号10524学号12009499分类号密级硕士学位论文形式化验证安全协议Java代码的安全性学位申请人姓名汪卫培养单位计算机科学学院导师姓名及职称孟博副教授学科专业计算机应用技术研究方向信息安全论文提交日期2012年5月9日学校代号:10524学号:12009499密级:中南民族大学硕士学位论文形式化验证安全协议Java代码的安全性学位申请人姓名:汪卫导师姓名及职称:孟博副教授培养单位:计算机科学学院专业名称:计算机应用技术论文提交日期:2012年5月9日论文答辩日期:2012年5月19日答辩委员会主席:李元香教授Form
2、alverificationofsecurityprotocolsimplementationbyJavabyWANGWeiB.E.South-CentralUniversityforNationalities2007AthesissubmittedinpartialsatisfactionoftheRequirementsforthedegreeofMasterofEngineeringinComputerScienceandTechnologyintheGraduateSchoolofSouth-CentralUniversityforNationalities
3、SupervisorAssociateProfessorMengBoMay,2012中南民族大学学位论文原创性声明本人郑重声明:所呈交的论文是本人在导师的指导下独立进行研究所取得的研究成果。除了文中特别加以标注引用的内容外,本论文不包含任何其他个人或集体已经发表或撰写的成果作品。对本文的研究做出重要贡献的个人和集体,均已在文中以明确方式标明。本人完全意识到本声明的法律后果由本人承担。作者签名:日期:年月日学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定,同意学校保留并向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅。本人
4、授权中南民族大学可以将本学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。本学位论文属于1、保密□,在______年解密后适用本授权书。2、不保密□。(请在以上相应方框内打“√”)作者签名:日期:年月日导师签名:日期:年月日中南民族大学硕士学位论文目录摘要...................................................................................................................................
5、IAbstract...........................................................................................................................II第1章绪论..................................................................................................................11.1国内外研究现状......................
6、..............................................................................11.2本文组织结构........................................................................................................2第2章安全协议的形式化分析验证..........................................................................32.1
7、安全协议进行形式化分析的必要性....................................................................32.2形式化分析方法.....................................................................................................42.3安全协议形式化验证............................................................................
此文档下载收益归作者所有