The state-of-the-art of software security assurance has been
constantly improving since research in the field began in the 1970s.
Nevertheless, there are a number of particularly intractable challenges
identified as far back as 1999 by the Government Accountability Office