Разработка доказательств и обоснований безопасности технических решений