Towards improving security testability of AADL architecture models.

Ayda Saïdane Nicolas Guelfi

Published in: NSS (2011)

Keyphrases

complex systems
real time
case study
prior knowledge
management system
probabilistic model
statistical models
information security
processing units