EXERTv2: Exhaustive Integrity Analysis for Information Flow Security with FSM Integration.

Jiaming Wu Domenic Forte

Published in: J. Hardw. Syst. Secur. (2023)

Keyphrases

information flow
flow analysis
information flow control
information security
social networks
data analysis
process management
information flows
flow graph
metadata
access control
intrusion detection
information sharing
functional modules
multi context systems