【摘 要】
：
文章以演化计算为工具,以BAN逻辑为基本的推理准则,在第一阶段随机搜索候选协议,然后在第二阶段通过冗余协议约简方案得出优化的协议。两阶段设计方案可以自动生成各种需求的
【机 构】
：
武汉大学计算机学院,武汉大学计算机学院,武汉大学计算机学院 武汉430072,武汉430072,武汉430072
论文部分内容阅读
文章以演化计算为工具,以BAN逻辑为基本的推理准则,在第一阶段随机搜索候选协议,然后在第二阶段通过冗余协议约简方案得出优化的协议。两阶段设计方案可以自动生成各种需求的两方或三方通信协议,并且广泛支持各种加密方法。通过两阶段的生成和过滤,我们的方法可以实现较大规模网络安全协议的自动化设计,例如三方密钥分配协议等。
The article uses evolutionary computation as a tool and BAN logic as the basic reasoning criteria to randomly search for candidate protocols in the first phase and then to obtain an optimized protocol through the redundant protocol reduction scheme in the second phase. The two-phase design scheme automatically generates two- or three-way communication protocols for various needs and widely supports various encryption methods. Through the two-phase generation and filtering, our method can realize the automation design of large-scale network security protocols, such as the tripartite key distribution protocol.
其他文献
患者男性72岁，由于起病较轻，患者未重视，就自行服药治疗；后病情加重，但不典型，患者才去医院诊治，医生按“胃炎”治疗；在病情不见好时，才前往医院住院治疗。此时已历时10余天。由于没有
目的观察治疗小儿气管，支气管异物中放射影像技术的临床价值。方法回顾性分析我院从2009年7月至2011年7月接受诊治的小儿气管，支气管异物患者80例，研究其临床资料和相关的影像学
目的观察钛夹对急性消化道出血的疗效和安全性。方法内镜下探查出血部位，插入钛夹置放操作器，对37例急性非静脉曲张性上消化道出血病人进行钛夹止血操作。结果所有急性上消化道
目的观察微创埋线治疗慢性咽炎的临床疗效。方法采用微创埋线疗法对经络穴位起到刺激作用，能刺激穴位，疏通经络，调理气血，是针灸疗法变更的一种新兴疗法。微创埋线疗法的实质，实际
目的为掌握宝应县托幼机构消毒质量，进一步完善托幼机构消毒质量管理工作常态化和规范化，有效预防和控制传染病的发生，保障儿童身体健康。方法按照《中华人民共和国传染病防治法
我有几位病人在使用鹿瓜多肽治疗后四肢出现散在红疹和双臂疼痛等不良反应，多发生于晚间。 由于本药品成分较为复杂，活性成分尚不明确，对其出现的不良反应、发生机理及不适用
目的比较手术内固定治疗和手法复位保守治疗胸腰段脊柱压缩性骨折的临床疗效。方法选择胸腰段脊柱压缩性骨折患者10例，依据随机对照原则分为保守治疗5例，与手术治疗切开内固定
我中心从2010年1月至2013年1月对我科46名首次使用综合征患者进行了自身血液预冲新透析器以预防首次透析综合征的观察，病人出现心慌、气紧、腹痛、腹泻、大汗、血压下降等症状
目的采用临床化疗方案治疗乳腺癌，观察并分析其临床效果和不良反应。方法自2009年2月至2012年10月，对我院收治的120例轻度、中度、重度乳腺癌患者采用临床早期联合化疗方案。治
目的对普外科急腹症的治疗进行有效的临床分析。方法将我院2010年4月到2012年4月中治疗的180例外科急腹症患者作为本次实验的观察对象，观察、记录和分析这些患者的发病原因和