Эксперты Венского технического университета разработали фреймворк под названием WebSpec, предназначенный для анализа безопасности браузеров. У WebSpec, кстати, уже есть первые успехи: с помощью фреймворка удалось выявить множество логических недочётов в интернет-обозревателях и вектор атаки, основанный на cookies.
Обнаруженные логические бреши не обязательно являются уязвимостями, однако в отдельных случаях всё же могут быть ими. Именно для выявления таких ошибок специалисты создали WebSpec.
Как отметили исследователи в своей статье, браузеры стали крайне сложным софтом. При этом они продолжают развиваться и совершенствоваться, поскольку разработчики добавляют в «Веб-платформу» новые компоненты.
Как правило, такие компоненты проходят соответствующие проверки, однако оценку их спецификаций вручную проводят технические эксперты, которые должны понимать, как новые технологии взаимодействуют с устаревшими API и индивидуальными имплементациями браузеров.
«К сожалению, проверки вручную чреваты тем, что логические ошибки будут упускаться. Это в конечном счёте может привести к возникновению критических уязвимостей», — объясняют специалисты.
«С помощью WebSpec мы продемонстрировали, как можно обнаружить новый вектор атаки, основанный на взаимодействии с файлами cookies».
Изначально cookies с префиксом «__Host-» могут устанавливаться исключительно хостовым доменом или размещёнными на этом домене скриптами, однако WebSpec помог выявить способ атаки, которая ломает этот принцип.
