600.436 High-Assurance Systems
Fall 01/Operational Assurance
8
Prevention of Modification
¨The
developer shall document procedures for delivery of the TOE or parts of it to
the user
–The delivery documentation shall describe how the various
procedures and technical measures provide for the prevention of
modifications, or any discrepancy between the developer's master copy and
the version received at the user site