Informal Security Policy

February 28, 2018

You are here:
< Back

Natural language description, possibly supplemented by mathematical arguments, demonstrating the correspondence of the functional specification to the high-level design.
SOURCE: CNSSI-4009