600.436 High-Assurance Systems
Fall 01/Operational Assurance
7
Detection 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 detection of modifications, or any discrepancy between the developer's master copy and the version received at the user site
–The delivery documentation shall describe how the various procedures allow detection of attempts to masquerade as the developer, even in cases in
which the developer has
sent nothing to the user's site