«Код, создающий более безопасную сеть с помощью Rocket» Серхио Бенитеса скачать в хорошем качестве

«Код, создающий более безопасную сеть с помощью Rocket» Серхио Бенитеса

Веб-фреймворки полны компромиссов. Что выбрать: простоту и удобство динамически типизированного языка или безопасность, надёжность и производительность компилируемого статически типизированного языка? Выбрать фреймворк, который принял за меня все решения, или тот, который принял лишь некоторые? Rocket — это новый веб-фреймворк для языка Rust, призванный устранить эти компромиссы. Rocket опирается на мощную систему типов Rust и возможности генерации кода, обеспечивая новый уровень простоты, безопасности, выразительности и производительности. С Rocket разработчики пишут только уникальный код — без шаблонного — и поручают Rocket сгенерировать всё остальное. Код, сгенерированный Rocket, автоматически анализирует, проверяет и десериализует входящие данные запроса и метаданные. Нет ни интроспекции во время выполнения, ни ошибок во время выполнения; всё происходит во время компиляции. Генерация кода Rocket позволяет защититься от рисков, связанных с валидацией входных данных, которые другие фреймворки считают не своей проблемой. В Rocket обработчики запросов защищены набором типов, известных как «защиты запросов», которые представляют собой политики безопасности и проверки данных. Rocket отправляет запросы обработчику только после прохождения всех его защит. Другими словами, Rocket гарантирует, что обработчики будут выполняться только в соответствии с проверенными политиками безопасности и проверки данных. В этом докладе будет описан Rocket и его подход к обработке запросов, с акцентом на использование генерации кода для обеспечения превосходного опыта разработки и надежных гарантий безопасности. Серхио Бенитес Серхио — аспирант третьего года обучения в Стэнфорде. Его исследования сосредоточены на конвергенции теории языков программирования с операционными системами и безопасностью. В его недавней работе была представлена ​​Rusty Types — формальная дисциплина типизации, основанная на языке программирования Rust. До Стэнфорда Серхио проходил стажировку в Google, Apple и SpaceX, где работал над различными проектами: от разработки алгоритмов обнаружения аномалий до настройки производительности операционных систем, работающих на ракетах и ​​других космических аппаратах.