AppSec Business Partner

Для проверки соблюдения принципа Fail Secure можно использовать следующие техники при анализе требований к ПО:
1️⃣ Анализ вариантов использования
Как применять:
1) Проверьте, какие могут быть исключительные ситуации на каждом шаге основного сценария и расширений.
2) Возможные причины исключений:
- Некорректное действие пользователя.
- Некорректный ответ сторонней системы.
- Бездействие пользователя или сторонней системы.
- Появление условий ("если...") в шагах сценария.
- Внутренние ошибки в разрабатываемой системе.
- Неожиданные ошибки, вызванные внешними факторами.
- Недостатки в производительности системы.
3) Убедитесь, что для каждой исключительной ситуации определены механизмы обработки, которые обеспечивают безопасное поведение системы.
4) Определите, как пользователю будет предоставляться информация об ошибке, чтобы избежать утечек (например, отправка обобщенного сообщения вместо технических деталей).
5) Исключите пересылку сообщений об ошибках сторонних систем в сыром виде, чтобы не передавать конфиденциальную информацию. Обрабатывайте ошибки локально и предоставляйте пользователю безопасные уведомления.

2️⃣ Диаграммы последовательностей UML
Как применять:
1) Используйте диаграммы последовательностей для визуализации взаимодействия между компонентами системы в случае исключений.
2) Убедитесь, что предусмотрено безопасное завершение операций или восстановление системы в каждом сценарии (особенно в блоках alt, opt, loop, break и других).
3) Задавайте вопросы “А что, если …?”

3️⃣ Сценарии BDD (Behavior-Driven Development)
Для каждой строки после ключевого слова Given в BDD-сценариях подставьте обратное значение условия.
Например, если сценарий выглядит так (условие: токен валидный):

Feature: Retrieve client IDs based on phone numbers
Scenario: Successful request
    Given the user sends a request with a list of valid phone numbers
        And the authentication token is valid
        And the token contains the required scope
        And the request format is valid
    When the system receives the request
    Then the system verifies the authentication token
        And checks required scope
        And verifies the request format
        And searches for client IDs matching the phone numbers
        And responds with the phone numbers and their matching IDs with a 200 OK status
        And logs the operation

добавьте обратное условие (токен невалидный) и опишите результат сценария (после ключевого слова Then), соответствующий такому условию

Feature: Retrieve client IDs based on phone numbers
Scenario: Authentication failed
    Given the user sends a request with a list of valid phone numbers
        And the authentication token is invalid
        And the token contains the required scope
        And the request format is valid
    When the system receives the request
    Then the system verifies the authentication token
        And responds with a 401 Unauthorized status
        And logs the operation

И аналогично выполнить для остальных строк с условиями и проверить для комбинаций таких условий.

4️⃣ Анализ корневых причин (Root Cause Analysis)
Анализируйте прошлые инциденты информационной безопасности, вызванные неэффективной обработкой исключений, и внедряйте меры для их предотвращения.

Пишите в комментариях, какие техники бизнес-анализа вы рекомендовали бы применять для проверки соблюдения описанного принципа!

#принципы_ИБ

❤2👍2

320 viewsAleksei, 18:41