Анализ уязвимостей программного кода методом шаблонов - Евневич; Перминов; Белаш; Внуков (Труды СПИИРАН, 2008)