C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.
Baoluo Meng
Arjun Viswanathan
William Smith
Abha Moitra
Kit Siu
Michael Durling
Published in:
NFM (2022)
Keyphrases
</>
parameter values
formal model
statistical model
optimal solution
management system
simulation model
prior knowledge
database
theoretical framework
cost function
hierarchical structure
intrusion detection
objective function
high level
information systems
machine learning
data mining