本文针对物联网环境下的高效认证和密钥协商，提出了一种基于椭圆曲线密码的轻量级认证协议BCmECC，该协议依赖于公共区块链来验证用户的公钥，以提供期望的安全性。我们试探性地评估了该协议的安全性，并对其进行了形式化验证，证明了该协议的高安全性。对于形式验证，我们使用了广泛接受的形式方法，即BAN逻辑和Scyther工具。在本文中，我们还分析了最近提出的基于区块链的认证协议的安全性，并表明该协议不能针对...