【摘要】无条件安全和计算安全是评估密码方案安全性的重要方法。无条件安全中假定攻击者拥有无限的计算能力,这是不切实际的,而计算安全假定攻击者的计算资源是有限的,因此,计算安全常用于现代密码学中密码系统的安全性研究。基于口令的密钥导出算法PBKDF2常常作为密码系统的口令认证机制,广泛应用于MacOS、Android、Windows域等系统软件中。基于计算安全模型,本文以Windows域口令认证机制为 […]