Поиск по каталогу |
(строгое соответствие)
|
- Профессиональная
- Научно-популярная
- Художественная
- Публицистика
- Детская
- Искусство
- Хобби, семья, дом
- Спорт
- Путеводители
- Блокноты, тетради, открытки
Model-Driven Approaches to Analysing Time and Location. Dependent Access Control Specifications
В наличии
Местонахождение: Алматы | Состояние экземпляра: новый |
Бумажная
версия
версия
Автор: Emsaieb Mosbah Geepalla
ISBN: 9783659939655
Год издания: 2019
Формат книги: 60×90/16 (145×215 мм)
Количество страниц: 192
Издательство: LAP LAMBERT Academic Publishing
Цена: 43386 тг
Положить в корзину
Способы доставки в город Алматы * комплектация (срок до отгрузки) не более 2 рабочих дней |
Самовывоз из города Алматы (пункты самовывоза партнёра CDEK) |
Курьерская доставка CDEK из города Москва |
Доставка Почтой России из города Москва |
Аннотация: Analysis of Access Control systems is an important task to ensure that unauthorised access to critical resources is protected. This thesis deals with a challenging problem related to the analysis of Access Control systems which depend on time and location against undesirable scenarios such as inconsistency. In particular, this thesis first provides formal algebraic notations for the Access Control specifications in the context of a Spatio- Temporal Role Based Access Control (STRBAC) model. This is followed by formulating the terms of inconsistency and semi-consistency in STRBAC specifications, which are accomplished with the help of the formal algebraic notations.
Ключевые слова: Model, Approach, Analysing Time, Location, access, control, specification