基于串空间的网络安全协议形式化分析模型与工具研究-计算机软件与理论专业论文.docxVIP

浙江工业大学 浙江工业大学 学位论文原创性声明 本人郑重声明：所提交的学位论文是本人在导师的指导下，独立进行研 究工作所取得的研究成果。除文中已经加以标注引用的内容外，本论文不 包含其他个人或集体已经发表或撰写过的研究成果，也不含为获得浙江工 业大学或其它教育机构的学位证书而使用过的材料。对本文的研究作出重 要贡献的个人和集体，均已在文中以明确方式标明。本人承担本声明的法 律责任。 作者签名： 乏-孚 日期：节房月占日 学位论文版权使用授权书 本学位论文作者完全了解学校有关保留、使用学位论文的规定，同意学 校保留并向国家有关部门或机构送交论文的复印件和电子版，允许论文被 查阅和借阅。本人授权浙江工业大学可以将本学位论文的全部或部分内容 编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存和 汇编本学位论文。 本学位论文属于 1、保密一在—主一年解密后适用本授权书。 2、不保密口。 (请在以上相应方框内打“V) 作者虢多砰．．吼矿占月8日 别磁轹琴币醐∥≯s月扩日 基于串空间的网络安全协议形式化分析模型与工具研究摘要 基于串空间的网络安全协议形式化分析模型与工具研究 摘要 网络安全协议从功能上主要可分为数字签名协议、密钥交换协议、 密钥分配协议、身份认证协议等。随着计算机网络的普及以及电子商 务和电子政务的蓬勃兴起，网络安全协议的应用越来越广泛，确保网 络安全协议的安全性