Secure and resilient software : requirements, test cases, and testing methods /: requirements, test cases, and testing methods. (©2012)