机译:用于加密协议分析的概率多项式时间过程演算
Process Algebra; Observational equivalence; Probabilistic bisimulation; Security protocol analysis;
机译:用于加密协议分析的概率多项式时间过程演算
机译:校准概率多项式时间演算的调度程序的功能
机译:设计和分析优化算法以最小化BGP安全协议中的密码处理
机译:概率多项式时间过程演算中的加密协议的组成
机译:概率多项式时间过程演算,用于分析密码协议。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:概率多项式时间过程演算,用于分析密码协议
机译:扩展组协议和低级加密基元的正式密码协议分析技术