Требования к безопасности приложений сложно формализовать и сегодня, увы, мало что делается в этом направлении. Фреймворков типа bsimm, samm, cmmi становится все больше, но все они находятся в процессе формализации требований к ранним этапам разработки.Судя по опубликованной информации, эксплуатируемая уязвимость в ПО для ДБО была заложена при проектировании.