机译:基于SAT的模型检查以进行安全协议分析
security protocols; bounded model checking; SAT-based model checking; multi-set rewriting; SECRECY;
机译:基于SAT的模型检查以进行安全协议分析
机译:SATMC:基于SAT的模型检查器,用于安全协议,业务流程和安全API
机译:LTL模型检查安全协议
机译:基于SAT的模型检查安全协议使用规划图分析
机译:安全协议的形式分析:协议组成逻辑。
机译:802.11s无线网状网络路由协议及其安全路由协议的安全性分析
机译:基于SAT的安全协议分析模型检查