attack patterns

computer science concept regarding group of rigorous methods for finding bugs or errors in code related to computer security