Transport Layer Security (TLS); Key exchange; Protocol analysis; Composition;
机译:TLS握手协议:模块化分析
机译:关于TLS 1.3的紧密安全性:真实的逻辑加密参数,用于现实世界部署
机译:使用TLS握手的ATM安全通信协议
机译:TLS 1.3握手协议候选的加密分析
机译:概率多项式时间过程演算,用于分析密码协议。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:TLS 1.3握手协议候选者的加密分析
机译:扩展组协议和低级加密基元的正式密码协议分析技术