spi-calculus; concurrency; formal methods for security protocols;
机译:符号模型和计算模型中选择的加密基元和安全协议分析的调查
机译:符号模型和计算模型中选择的加密基元和安全协议分析的调查
机译:使用缩窄的符号可达性分析及其在密码协议验证中的应用
机译:加密协议的象征性追踪分析
机译:概率多项式时间过程演算,用于分析密码协议。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:密码协议的符号跟踪分析