Protocols; Public key cryptography; Erbium; Automata;
机译:基于启发式PSO算法的随机模型检查反例生成
机译:基于SAT的模型检查的反导插值生成算法
机译:一种用于在安全协议上即时检查CTL〜*公式的BSP算法
机译:Ping-Pong协议安全检查算法的强调生成
机译:BRUTUS:安全协议的模型检查器。
机译:嘈杂和有损信道中修改后的乒乓协议的安全性
机译:一种Bsp算法,用于即时检查安全协议上的CTL *公式
机译:理论生成与模型检验相结合的安全协议分析