1、SVO邏輯已成功分析了NSSK協(xié)議、NSPK協(xié)議、Otway-Rees協(xié)議、Yahlom協(xié)議、大嘴青蛙協(xié)議等，并找到了其中已知的和未知的漏洞。在SVO成功分析的協(xié)議當(dāng)中大都是基礎(chǔ)性的原始協(xié)議，并且這些協(xié)議在目前計(jì)算網(wǎng)絡(luò)通訊中逐漸失去其利用價(jià)值。面對(duì)眾多的安全協(xié)議，不少研究人員已經(jīng)作了大量的工作，但這些分析遠(yuǎn)遠(yuǎn)不能滿足安全的需求。
　　本文利用SVO邏輯對(duì)部分網(wǎng)絡(luò)通信和安全協(xié)議進(jìn)行分析和改進(jìn)，并針對(duì)改進(jìn)后的SNMP協(xié)議開發(fā)出 Tra

2、p批量設(shè)置工具。所做的具體工作如下：
　　1.分析對(duì)了稱密碼體制、公鑰密碼體制、數(shù)字簽名等基本算法，并進(jìn)一步討論了具有代表性的認(rèn)證協(xié)議，密鑰管理和分配的方法等；分析各類形式化分析方法，并重點(diǎn)對(duì) SVO邏輯進(jìn)行了分析和討論。
　　2.對(duì) SVO邏輯的推理規(guī)則提出擴(kuò)展，指出3G通信的認(rèn)證協(xié)議和密鑰分配協(xié)議（AKA協(xié)議）存在的漏洞并從形式化的角度對(duì)該進(jìn)行了分析和改進(jìn)做了改進(jìn)，并運(yùn)用擴(kuò)展的SVO邏輯分析了AKA協(xié)議。
　　3.

3、分析了SNMP（簡單網(wǎng)絡(luò)管理協(xié)議）主要的缺點(diǎn)，對(duì)該協(xié)議通過增添時(shí)間戳、對(duì)稱密鑰和加密密鑰的方式進(jìn)行了改進(jìn)，增強(qiáng)了其認(rèn)證性和保密性；首次對(duì) SNMP協(xié)議作了形式化描述，并運(yùn)用SVO邏輯對(duì)改進(jìn)后的SNMP協(xié)議作了形式化分析。
　　4.利用Visual C++6.0、SNMP C++開發(fā)包開發(fā)出基于SNMP協(xié)議的實(shí)用性管理工具——Trap批量設(shè)置工具。并對(duì)將改進(jìn)前后的SNMP協(xié)議實(shí)現(xiàn)結(jié)果進(jìn)行了比較，用實(shí)例證實(shí)了改進(jìn)后的SNMP協(xié)議的有效