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