Incremental Security Verification for Evolving UMLsec models.

Jan Jürjens Loïc Marchal Martín Ochoa Holger Schmidt

Published in: ECMFA (2011)

Keyphrases

access control
statistical models
information security
database
real time
data sets
prior knowledge
probabilistic model
statistical model
incremental learning
security systems
integrity verification