31.1 Problem31.2 Requirements and Policy31.3 Design31.4 Refinement and Implementation31.5 Common Security-Related Programming Problems31.6 Testing, Maintenance, and Operation31.7 Distribution31.8 Summary31.9 Research Issues31.10 Further Reading31.11 Exercises