机译:在计算模型中使用Crypto Verif对传输层安全1.2协议的安全属性进行机械化验证
机译:在计算模型中使用Crypto Verif对传输层安全1.2协议的安全属性进行机械化验证
机译:TLS-over-CAN:针对CAN网络的Internet级端到端通信安全性的实验研究
机译:集成的传输层安全性:WTLS和TLS之间的端到端安全模型
机译:关于在纽约市实施以以色列运输模式为蓝本的主动运输安全措施的建议。
机译:运输层安全握手超过6TISCH的性能
机译:传输层安全性(TLs)和数据报传输层安全性(DTLs)心跳扩展
机译:具有传输层安全性(TLs)和TLs plus完全前向保密(pLs)的多个网络信道上的高性能并行大数据传输概述。