Моделирование протоколов безопасности с помощью π-исчисления
“Если ты работаешь с кибербезопасностью, привык думать в терминах процессов и потоков данных, но на уровне «как оно устроено изнутри» видишь только статичные модели, тебе не хватает языка, который бы описывал, как всё это взаимодействует во времени. π-исчисление и ambient calculus, это как микроскоп для динамики систем: они показывают не то, как процессы выглядят, а … Читать далее