Security Think Tank: To secure code effectively, verify at every step | Computer Weekly
Briefly