Department of Computing University of Surrey Guildford, GU2 7XH;
Department of Computing University of Surrey Guildford, GU2 7XH;
Department of Computing University of Surrey Guildford, GU2 7XH;
Department of Computing University of Surrey Guildford, GU2 7XH;
buyer-seller watermarking protocol; formal model; formal analysis; CSP; unbinding; customers' rights;
机译:安全的匿名买卖双方水印协议,以防止阴谋攻击
机译:保护匿名买家卖家水印协议免受阴谋攻击
机译:可信赖的数字内容购买买卖双方水印协议分析
机译:使用形式化分析技术来识别对买家-卖家水印协议的无约束力的攻击
机译:安全协议的形式分析:协议组成逻辑。
机译:一种用于物联网应用的异构无线传感器网络中恶意数据注入攻击检测的随机水印技术
机译:使用形式化分析技术来识别对买卖双方加水印协议的无约束力攻击
机译:扩展组协议和低级加密基元的正式密码协议分析技术