Adversarial Security Verification of Data-Driven FDC Systems.

Yue Zhuo Zhiqiang Ge

Published in: IEEE Trans. Reliab. (2023)

Keyphrases

data driven
security systems
multi agent
intrusion detection
management system
formal methods
high assurance
intelligent systems
retrieval systems
network security
security policies
java card
asynchronous circuits
security measures
sys tems