机译:ESIP:在多跳无线网络中有限使用公钥密码学的安全激励协议
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:符号模型和计算模型中选择的加密基元和安全协议分析的调查
机译:从简单的零知识到公共密钥密码学:扩展摘要
机译:将元胞自动机计算模型集成到比特流和Feistel网络加密协议中(西班牙语)。
机译:使用椭圆曲线密码技术的无线传感器网络安全认证协议
机译:基于计算智能的三层感知器模型协同PSO指导的基于变态的安全通信密码技术(TLPPSO)中的应用
机译:扩展组协议和低级加密基元的正式密码协议分析技术