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