u A formal or semiformal presentation of the architectural design
u A formal or semiformal demonstration, including a requirements
traceability analysis, that the architectural design fulfills the
requirements, including the security policy