Title: Design Methodology for Computer Security Testing