并发系统信息流安全的验证方法及装置、电子设备

本发明公开了一种并发系统信息流安全的验证方法及装置、电子设备。本发明涉及计算机安全领域，特别是并发系统的信息流安全验证。针对现有并发系统信息流安全验证方法难以兼顾功能正确性与安全性的技术问题，该方法将并发系统抽象为并发事件系统，并将功能正确性验证与信息流安全验证分离。首先，利用带注释的依赖‑保证证明技术验证功能正确性；然后，基于已验证的注释和保证条件进行信息流安全验证。此外，本发明提供通用编程语言接口，使得方法适用于不同的编程语言。采用形式化验证和机器证明技术，该方法可严格验证并发系统的信息流安全，确保敏感信息不被泄露，提高系统安全性，防范潜在安全风险。