by SecureMDA are enforced at the middleware level, preventing any malicious or
improper components from affecting the rest of the distributed system. Although
SecureMDA only enforces security models at the middleware layer, it is an
important step in using modeling to develop high assurance systems.