机译:指定和实施隐私保护密码协议
Specification of Security Protocols; Privacy; Linkability; Dolev-Yao Intruder; Security-typed language; Typed MSR; Jif; TYPED MSR; SECURITY; SYSTEMS;
机译:指定和实施隐私保护密码协议
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:基于密码和安全协议的CISCO设备加固-第二部分:实施和评估
机译:IOT-Cryptodiet:基于ECDH和ECDSA实施轻量级加密库,以开发Contiki-NG中的安全和隐私保护协议
机译:隐私保护协议的有效实现和计算分析,以保护金融市场
机译:基于Bilinear配对加密的多区域认证和隐私保留协议(MAPP)用于5G-V2X
机译:个人信息的可信赖和隐私保护处理:加密结构,协议和工具
机译:扩展组协议和低级加密基元的正式密码协议分析技术