摘要：物联网为信息物理系统奠定了基础。Km. Renuka 等人在2019 年4 月出版的《IEEE Access》中提出了一种有效且安全的认证方案,用于支持基于物联网的信息物理系统(CPS)内机器对机器(M2M)网络。信息物理系统上的智能对象和智能设备能够捕获各种多媒体内容,在没有人为干预的情况下,以全自动的方式彼此并与物理世界交互。文章在最后使用BAN 逻辑(被广泛接受作为认证协议评估框架)和ProVerif 分析了其安全性。