public key cryptography; formal verification; access protocols; Diffie-Hellman key agreement; strand-space model; key exchange scheme; cryptographic protocol; formal method; computational algorithm;
机译:基于新形式的对数隐式问题的量子后公钥协商方案
机译:使用无线传感器网络进行农业监测的安全用户身份验证和密钥协商方案
机译:基于Chebyshev混沌映射的隐私保护多服务器认证密钥协商方案。
机译:Strand-Space模型中的Diffie-Hellman密钥协议计划
机译:GF(p)中椭圆曲线Diffie-Hellman密钥协商方案的硬件实现。
机译:通过增强皮质网络模型对LFP建模的混合方案
机译:线性空间模型中的Diffie-Hellman密钥协商方案
机译:strand-space模型中的Diffie-Hellman密钥协商方案