机译:具有概率加密的协议安全性针对脱机字典攻击的决策程序
LSV, ENS de Cachan & CNRS, France Telecom R&D, 61 avenue du President Wilson, 94235 Cachan Cedex, France;
verification; cryptographic protocols; formal methods; dictionary attacks; probabilistic encryption;
机译:针对脱机字典攻击的增强型蜻蜓密钥交换协议
机译:Freestyle,ChaCha的随机版本,可抵抗离线暴力破解和字典攻击
机译:带有关键字搜索的公钥加密:一种通用的构造,可抵御在线和离线关键字猜测攻击
机译:针对zkPAKE协议的离线字典攻击
机译:使用OPNET与安全加密的需求距离矢量与动态源路由协议的性能比较
机译:安全增强的加密方案和其加密安全性的评估
机译:针对ZKPAKE协议的离线词典攻击