✅ Безопасный код и моделирование угроз через теорию категорий
Продолжим тему, и пофантазируем, как теория категорий может помочь... в разработке защищенных приложений. Тем более, что почти всё это уже было в Симпсонах Haskell. В качестве примера возьмем Python, поскольку в нем, в силу динамической типизации, вопросы безопасности стоят чуть острее. А опираться будем на STRIDE, поскольку поговорим не только о том, как теория категорий помогает писать безопасный код, но и как применять её при моделировании угроз.
...
Статья получилась объемная, т.ч. вынес её в Teletype.
#безопасность_кода #гайд
Продолжим тему, и пофантазируем, как теория категорий может помочь... в разработке защищенных приложений. Тем более, что почти всё это уже было в Симпсонах Haskell. В качестве примера возьмем Python, поскольку в нем, в силу динамической типизации, вопросы безопасности стоят чуть острее. А опираться будем на STRIDE, поскольку поговорим не только о том, как теория категорий помогает писать безопасный код, но и как применять её при моделировании угроз.
...
Статья получилась объемная, т.ч. вынес её в Teletype.
#безопасность_кода #гайд