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