在他们测试的罗克韦尔系统中，固件更新是有数字签名保护的，但梯形逻辑没有。梯形逻辑的运行假定是：只有受信任的人才有权限插入程序，但是却没有任何检查/验证以确保被编入PLC的逻辑更新来自授权源。