The Stanford Rapide Project |
This report discusses the definition and modeling of reference
architectures that specify the security aspects of distributed
systems. NSA's MISSI (Multilevel Information System Security
Initiative) security architecture is used as an illustrative example.
We show how one would define such a reference architecture, and how
one could use such a definition to model as well as check
implementations for compliance with the reference.