Софтуерна сигурност (Software Security)

Софтуерната сигурност обхваща инженерните практики за проектиране, кодиране и валидиране на софтуерни приложения така, че те да останат защитени от неоторизиран достъп, компрометиране на данните и прекъсване на услугите.

Нови методи с езикови модели

• Формална верификация: Математическо доказване на съответствието на софтуерния код с предварително дефинирани спецификации с помощта на AI.
• Автоматизирано фазиране (AI Fuzzing): Генериране на хиляди хитри тестови входящи данни за откриване на препълване на буфера и логически грешки.
• Сигурен дизайн по подразбиране (Secure by Design): Автоматично налагане на безопасни шаблони за работа с паметта и мрежата.