authorisation; cryptographic protocols; formal specification; inference mechanisms;
机译:关于安全协议物理属性的形式推理
机译:加密协议分析的正式方法:新出现的问题和趋势
机译:加密协议分析的正式方法:新出现的问题和趋势
机译:用推理的正式分析方法对加密协议的细粒度安全性能研究
机译:关于检查密码协议的正式方法。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:使用加密非接触式智能卡的协议的安全形式验证方法
机译:加密协议分析的形式化方法:新出现的问题和趋势