Computer software for use by software designers in developing security specifications and security targets so that software can be tested against an international security standard