文摘

正式的攻击序列生成和验证基于CP-nets加密协议

作者(年代):白Yunli,杨婷,小秦小姐

攻击序列是一个执行顺序,保证导致失败如果加密协议模型下验证不符合其安全属性。的效率产生的攻击序列加密协议模型提高N如果N被侵犯事件的安全属性,这有效地减少了搜索的范围协议的状态空间模型。以前的工作表明,加密协议正式使用CPnets造型和攻击序列生成方法主要是基于高复杂性的整个状态空间搜索方法。本文提出一种改进的安全属性违反基于事件的模型验证和攻击序列生成方法,使用该方法建模和分析NS协议,实验结果是用来评估该方法。