Код товара: 5249235541
Постоплата
Купон на скидку
Secure Open Networks
Тип книги:
Печать по требованию
О товаре
Перейти к описанию
Автор на обложке
Neva Slani
Год выпуска
2026
Тип бумаги в книге
Офсетная
Тип обложки
Мягкая обложка
Тип книги
Печать по требованию
О книге
Печатная книга «Secure Open Networks» в мягкой обложке, язык - английский. В книге 124 страниц, она напечатана на белой офсетной бумаге плотностью 80 г/м². Формат издания — 152x229 мм. Все книги аккур
1 366 ₽ 2 120 ₽
Магазин
Подписаться
Т8
Перейти
4.9
Чат
Заказы
57.6 K
Помощь фондам
О магазине
Часто задаваемые вопросы
Описание
Secure Open NetworksПечатная книга «Secure Open Networks» в мягкой обложке, язык - английский. В книге 124 страниц, она напечатана на белой офсетной бумаге плотностью 80 г/м². Формат издания — 152x229 мм. Все книги аккуратно упаковываем в прочный трёхслойный непрозрачный картонный конверт.
We examine and model open networks enforcing the control of safe and authorised communication, i_e. data and resources usage. By an open network we mean an Internet-like global network, where each subject only partially knows and trusts other subjects and their resources. Our goal is to obtain an abstract model that describes faithfully such networks, where computational units communicate one to another exchanging code, and aim at each others resources. Moreover we want to provide a model with efficient abstract mechanisms that enforce correct resource usage, at least for the portion of the open network one is interested in. For the underlying language we choose the π-calculus and its distributed variant the Dπ-calculus. We divide our analysis in phases, hence make it easy to follow the development of the solution. We start with a concurrent model and a simple type system, then enhance types to obtain a faithful model for resources. We close with a distributed model that enforces safe, and lastly authorised resource usage. The thesis is written in a textbook style and may be used as an introduction to the field or a training for modelling in typed languages.
We examine and model open networks enforcing the control of safe and authorised communication, i_e. data and resources usage. By an open network we mean an Internet-like global network, where each subject only partially knows and trusts other subjects and their resources. Our goal is to obtain an abstract model that describes faithfully such networks, where computational units communicate one to another exchanging code, and aim at each others resources. Moreover we want to provide a model with efficient abstract mechanisms that enforce correct resource usage, at least for the portion of the open network one is interested in. For the underlying language we choose the π-calculus and its distributed variant the Dπ-calculus. We divide our analysis in phases, hence make it easy to follow the development of the solution. We start with a concurrent model and a simple type system, then enhance types to obtain a faithful model for resources. We close with a distributed model that enforces safe, and lastly authorised resource usage. The thesis is written in a textbook style and may be used as an introduction to the field or a training for modelling in typed languages.
- Артикул
- 5249235541
- Автор на обложке
- Neva Slani
- Год выпуска
- 2026
- Тип бумаги в книге
- Офсетная
- Тип обложки
- Мягкая обложка
- Тип книги
- Печать по требованию
- Язык издания
- Английский
- Количество страниц
- 124
- Размеры, мм
- 152x229
- Вес товара, г
- 209
- ISBN
- 9783838390871
- Возрастные ограничения
- 12+
Подборки товаров в категории Книги: Компьютерные технологии
Отзывы о товаре
0
Secure Open Networks
Рейтинга пока нет. Он формируется на основе актуальных отзывов на заказанные и оплаченные товары
Как правильно задавать вопросы?
Будьте вежливы и спрашивайте о товаре, на карточке которого вы находитесь
Если вы обнаружили ошибку в описанием товара, воспользуйтесь функцией
Как отвечать на вопросы?
Отвечать на вопросы могут клиенты, купившие товар, и официальные представители.
Выбрать «Лучший ответ» может только автор вопроса, если именно этот ответ ему помог.