u A formal or semiformal presentation of the low-level design
u A formal or semiformal demonstration, including a requirements
traceability analysis, that the detailed design implements the
architecture design, including the security policy