大约十年前，@soumyab8 和我一起构建了一个系统，专门用来防止这种类型的攻击。核心理念是，发送给执行器（例如冰箱）的指令必须提供一个安全证明，以证明它们符合用户的预期策略，从而即使攻击者攻破了集中控制器，也无法造成破坏。 当时的审稿人觉得这个想法太天马行空了。哈哈。