Why secure applications are difficult to write | IEEE Journals & Magazine | IEEE Xplore