Toward a Formal Traceability Model for Efficient Security Validation.

Christof Ebert Ruschil Ray

Published in: Computer (2021)

Keyphrases

formal model
probabilistic model
computational model
theoretical analysis
objective function
experimental data
statistical model
parameter estimation
agent model
network security
conceptual model
mathematical model
process model
database
management system
cost function
prior knowledge
high level
social networks