网络安全的核心-密码算法与安全协议.pdfVIP

网络安全的核心一密码算法和安全协议 卿斯汉 中国科学院信息安全技术工程研究中，C 摘要本文讨论了有关刚络安全的两个核一L峒题：密码算法私l安全协议。酋 先，我们分析总结了美国NIST公布的15个AES候选算法．由此可见国际 分组密码发展的制流}ll趋势。其≯、，我们重点讨论当今的热点问题～电子 商务协议的形式化分析技术，并介绍了我们的最新研。究成粜。 standard)．鬯于商务协议Kailm逻辑 关键词AES(advancedencryption 1．引言 随着lnlemet的酱及j=|】发展，网络安全的重要性也曰盏突出。网络安全 的梭心是密码技术．其麻川离不开传统的于r绸密码尊法和新兴的公开铡密 11【i=选算法的练合评价．由此百】址 码算浊。本文士璎i寸论我们巧1j个AES 国防，分纰蕾码发展的测流平¨趋势。只一方厄，只有好的罾码算法仍然币 够。我』必欲有好的安全饥议，例如∥、址协议、1；．舌认切议丰¨电子商务切 Kailar提出了一种可以分析电子商务协议的形 议等。i996年，Rajashekar 式化方法，我仃j称之为Kailar逻辑。本文指出它的主要特点与缺陷，并说 明改进它的方向。最后，提出一种新的形式化分析方法。 2．美国N1ST公布的15个AES候选算法 】997年4削15日，美国国家标准平¨技术研究所(NIST)发起征集 AESl‘1LAEs—AdvancedStandard)算法的活动，并于1997年9 Encryption 月12日在联邦登记处(FR)公布了诬集AES候选算法的通告。AES的基 本要求是比三重DES快且至少和三重DES一样安全．分维长度是128比 一次AES候选会议，并公布了15个官方AES候选算法。1999年3月!： 日举行了第一敞AES候选会议，。自：布对1j个候选算法的若干讨论结果。 P一步将^』、上迓l5个算法中选Ⅱl5个．最_fi彳将在这5个算法中遴选出一个 算法作为止式的AES，弼!计将丁2001年山台。本文简要阐述这些算法的 基本设计思想和分析结果，其中包括我H]的最新研究成果。 在上述15个候选算法中，5个柴臼美国，即HPC、MARS、RC6、 有l5个算法的名称录l申请者名单。 9 若_F候选算法是庄原有的算；去的基础上变化而来的，如表2所示。火 邦分算法基于Fdstel网络．某些算法基}扩展的Feistel网络手¨SP网络，分 别如收3、4、5平¨6所示。 算法名称 申请者名单 CAST．二5jEntrust Techno[ogies．Inc ’ s、’stem CRYPTONFuture s．1nc 3 DEAL Richard Knudsen Outerbridge，Lars DFC CentreNationgdiaRecherche ：4 pour Scientifique(CNRS) E2 and NipponTelegr]phTelephoneCorporation(NTT) 6 FROG TecAInternacionalSA pro 7 HPC Rich Schroepp,．q 8 LOKl97LawrieBrown．Jose(、Pieprzvk，JenniferSeberry 9 MAGENTADeutscheTelel,OlTIAG l(】 MARS 【BⅣ1 】11 RC6 RSALabormories