机译:使用基于解释函数的方法对SET和NSL协议进行形式化分析
机译:基于解释函数的SET和NSL协议的形式分析
机译:使用NPATRL和NRL协议分析器对解释协议的组域进行正式规范和分析
机译:开放网络和分布式系统上的安全协议:用于分析,设计和验证的正式方法
机译:使用基于解释函数的方法对SEP协议进行形式化分析
机译:关于检查密码协议的正式方法。
机译:纠正:系统评价绝对风险降低的分析报告和解释的方法学调查(研究):一项研究方案
机译:使用NPATRL和NRL协议分析器对解释协议的组域进行正式规范和分析
机译:加密协议分析的形式化方法:新出现的问题和趋势