In this document, we define the NADA security architecture based on refined
use case scenarios, a derived high level model and security analysis. For the
architecure design and verification we are applying the well known STRIDE
model.