"There are two things I am sure of after all these years: there is a growing societal need for high assurance software, and market forces are never going to provide it." - Earl Boebert
Ross Anderson has a good reply to your statement in the 7th chapter of his book, 'Security Engineering'. [1]