Software Security

Imho I think that any software can be hacked into and turned inside-out because as the saying goes "where there is a will, there is a way". No one is the perfect programmer, there will be even like 1-2 bugs that will result in an unauthorized access to a hacker. Your thoughts?

http://en.wikipedia.org/wiki/Program_verification

(anyone mind explaining this to an average joe and provide some hello-world type examples?)