基于petri网的安全协议分析与检测方法的研究.pdf

贵州大学硕士学位论文基于Petri网的安全协议分析与检测方法的研究姓名：梅翀申请学位级别：硕士专业：计算机应用技术指导教师：孟传良20080501摘要随着技术持续突飞猛进地发展网络上的信息安全问题日益突出。特别是电子商务、数字货币和网络银行等新业务的深入开展信息的保密性、完整性和可用性等安全问题成了关键之所在。安全协议又称密码协议是以密码学为基础的协议它在网络和分份；在主体之间分配会话密钥等‘薄Ｄ壳埃踩橐压惴河τ糜诩扑慊缬敕植际较低建模及分析检测方法并使用该新方法对安全协议进行了分析检测以验证其有效性。壳肮谕夂芏嘌д呤褂胮网分析安全协议时往往是通过验证协议的不安全状态是否可达来判断协议的安全性。而本文所提出的方法是从协议的初始状态出发去检测可疚氖褂昧烁眯路椒ǘ远喔鼍湫榻蟹治黾觳猓⒄业搅丝赡艽嬖诘墓セ鳌布式系统中提供各种各样的安全服务。安全协议的目标都与安全有关例如认证主体的身中当前关于安全问题的研究热点之一是安全协议的形式化描述与分析。目前安全协议常见的分析方法包括：逻辑方法、模型检测、定理证明等方法它们都有各自的优点和缺点。本文主要研究以Ｐ臀;∪谌肫渌椒ǎ岢鲆恢中碌男本文的主要创新点及研究成果如下：岢隽艘恢中碌陌踩榻７椒ǎ朔椒ǜ萃ㄐ胖魈宓娜⒌男槟Ｐ途哂意义明确、便于分析等特点。能存在的攻击。谛榉治黾觳夤讨校疚拇丛煨缘厝谌肓似渌治龇椒ǎ菇烁鞲鐾ㄐ胖魈宸析集。疚难芯恐贫酥魈宸治黾鹿嬖颉⒐セ骷觳夤嬖颉关键词：安全协议Ｐ停觳一瑃谢也荒竔甈琍甌瓸瑃℃．甌瑃籺琽．．簊瓻瑃畂痮‘衢籆．瓻甎瓺麓甌甀．论文作者签名：彝维耻论文作者签名：酶导师签名：期：上业幺生咀关于学位论文使用授权的声明原创性声明本人郑重声明：所呈交的学位论文是本人在导师的指导下对本文的研究曾做出重要贡献的个人和集体均已在文中以明确本人完全了解贵州大学有关保留、使用学位论文的规定同意学校保留或向国家有关部门或机构送交论文的复印件和电子版允许论文被查阅和借阅；本人授权贵州大学可以将本学位论文的全部或部分内容编入有关数据库进行检索可以采用影印、缩印或其他复制手段保存论文和汇编本学位论文。Ｃ苈畚脑诮饷芎笥ψ袷卮斯娑独立进行研究所取得的成果。除文中已经注明引用的内容外本论文不包含任何其他个人或集体已经发表或撰写过的科研成果。方式标明。本人完全意识到本声明的法律责任由本人承担。日第一章绪论信息安全概述安全协议及其研究现状信息作为人们宝贵的财富贯穿在当今人类的一切活动当中。信息系统是信息获取与处理的各种方法、过程、技术按一定规律构成的一个有机整体它是以计算机和数据通信网络为基础的开放式的互联网络应用管理系统是信息采集、存储、加工、分析和传输的工具。随着信息技术的不断发展信息安全的概念正在与时俱进：信息安全逐渐从早期的通信保密发展到关注信息的保密、完整、可用、可控和不可否认的信息安全。信息与信息系统安全并重保证信息系统能够安全、可靠、不间断地运行以提供必要的服务。并进一步发展到今天的信息保障和信息保障体系。单纯的保密和静态的保护己不能适应今天的需要。信息保障体系是一个社会系统工程它不仅涉及到信息技术体系本身还包括信息安全的法律法规体系和组织管理体系。信息与信息系统的安全技术己成为减少经济损失、保障社会稳定和国家安全的锐利武器。为此各国均将信息安全领域的技术创新视为增强其国际竞争力的重要手段投入巨资加以重点研究。信息安全是一门融合现代密码学、计算机网络安全和保密通信理论的综合交叉性新兴学科。信息社会的兴起给全球带来了信息技术飞速发展的契机；信息技术的应用引起了人们生产方式、生活方式和思想观念的巨大变化极大地推动了人类社会的发展和人类文明的进步。今天随着人类进入知识经济时代网络和信息己逐渐成为人们从事社会活动的基本工具。但是由于计算机和网络系统的开放性带来的信息与信息系统的安全问题也拓展到前所未有的程度。日益增多的对信息系统的非法入侵和破坏活动正以惊人的速度