Основные положения методологии создания высокозащищенного программного обеспечениядоклад на конференции