В роботі пропонується спеціальна прикладна логіка, яка описує особливості авторизаційних процесів в динамічних коаліційних системах.
Ключові слова: динамічні коаліційні системи, тривала авторизація, числення предикатів.
The work proposes special applied logic that describe characteristics of authorization processes in dynamic coalitions.
Key Words: dynamic coalition systems, prolonged authorization, predicate calculus.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
