Question 1

What are formal methods for secure and robust programs?

Question 2

Which of the following should you check for? (Select all that apply.)

Question 3

Which of the following is true for informal methods?

Question 4

Which of the following is NOT true for ad hoc methods?

Question 5

Why are checklists for secure programming helpful?

Question 6

For a function, the precondition states ___________; the postconditon states __________.

Question 7

Why do you log enough information about a login to reconstruct the login actions?

Question 8

Which of the following indicates a poorly structured program?