W Luo,
G Xie, Y Liu, X Xiao, R Li - IEEE Transactions on Dependable …, 2024 - computer.org
The co-verification of safety and security is a necessary process for safety-and security-
critical distributed applications, but conflicts exist between safety and security. The state-of …