文档介绍：安全协议 (密码协议)刘璟******@(密码协议):-“安全协议设计与分析”课程性质:选修课考查方式:平时作业+课程报告教学目的:在开放网络(、无线网络等)中,网络安全技术正在扮演着越来越重要的角色。安全协议则是分布式系统或开放网络系统之安全的核心和基石。选择使用国际上认可的密码系统和强度大的密钥并不难,但是能够正确运用这些基本构造模块而搭建起完善的安全体系则不是一件简单的事。安全协议是以密码学为基础的协议,它在网络和分布式系统中提供各种各样的安全服务,有着大量的应用,起着“桥梁”的作用,在信息系统安全中占据十分重要的位置。《网络安全协议》是中山大学信息安全-网络安全技术课程群中一门重要的课程。憋胺厚浸戏悦骏蔬啤盗阉觉惕裹阜婚调收寒楚署咨桩谱赤唆拨阶陋南嚷嫌密码协议密码协议教学基本要求掌握以下基本方法,理论和技术:安全协议分析与设计的几种典型的形式化方法:BAN类逻辑、CSP模型、串空间模型等;学会应用自动验证工具(AVISPA、CSP+FDR)具体分析安全协议;掌握安全协议设计的基本原则;应用上述理论和方法自行设计安全而且正确的安全协议。提高自己的安全系统设计能力;厦闸括涩卖夯灵谈照纵黄央满宽否埃泌耽开氮及馁般瘁儡渴邯才暖潘添遮密码协议密码协议《安全协议》作者:卿斯汉,丛书名:高等院校信息安全专业系列教材清华大学出版社2005年3月《密码协议形式化分析》(高等院校信息安全专业规划教材)作者:王亚弟、束妮娜、韩继红、王娜出版社:机械工业出版社TheModellingandAnalysisofSecurityProtocols:theCSPApproach作者:《安全协议的建模与分析:CSP方式》作者:(英)瑞安,(英)施奈德著,张玉清等译机械工业出版社ProtocolsforAuthenticationandKeyEstablishment作者:(September17,2003)FormalCorrectnessofSecurityProtocols作者:GiampaoloBella,2007教材、(密码协议)Definition:Aswithanyprotocol,asecurityprotocol(prisesaprescribedsequenceofinteractionsbetweenentitiesdesignedtoaachieveacertainend,municationbetweenagents,,agreesyntax,:AuthenticationofagentsornodesEstablishingsessionkeysbetweennodesEnsuringsecrecy,integrity,anonymity,non-:Typicallytheymakeliberaluseofvariouscryptographicmechanism,suchassymmetricandasymmetricencryption,hashfunctions,,其中参加协议的主体只有2-3个,交换的消息只有3-5条,设计一个正确的、符合认证目标的、没有冗余的认证协议也是很不容易的。Needham-Schroeder公开密钥认证协议(NSPK)于1978年提出,GavinLowe与1996年发现NSPK协议缺陷。:EngineController与Transponderin