[Baker83] D. B. Baker, Automatic Data Processing Systems (ADPS) Security Requirements for Military (AF) Systems, []