基于时序逻辑的电动车充电桩业务逻辑一致性分析方法

摘要

本发明公开了一种基于时序逻辑的电动车充电桩业务逻辑一致性分析方法，针对电动汽车充电桩监控系统数据传输过程的安全隐患，提出了服务器端的数据可靠性验证方法，有效防御通过传输错误充电参数导致电网进行错误调整的恶意攻击。该方法主要是对充电桩反馈数据和用户移动端反馈数据进行时序关联，对多模态数据进行联合验证，从而判断是否出现黑客入侵导致的数据异常，实现对充电桩监控系统基于时序逻辑的业务逻辑一致性安全检测。