France Telecom RD LSV, CNRS UMR 8643, ENS de Cachan 61, avenue du President Wilson 94235 Cachan Cedex, France;
security protocols; formal methods; constraint solving;
机译:具有概率加密的协议安全性针对脱机字典攻击的决策程序
机译:使用XOR进行协议不安全的NP决策程序
机译:上下文明确的安全协议的可判定性
机译:使用显式析构函数验证安全协议的决策过程
机译:关于组密钥安全协议的形式验证
机译:用于存储在云服务中的文件完整性的信任验证的安全体系结构和协议
机译:使用XOR进行协议不安全的NP决策程序