Zubenko A. Logical&Algorythmical Analysis of Authorization Processes in Dynamic Coalition Systems

The thesis is devoted to analysis of methods aimed at development of dynamic coalition systems as a secure form of group informational collaboration. The common technique of design and development of dynamic coalition systems is laid. The focus of the research is put at the formalization of the authorization processes in dynamic coalition systems, which has special characteristics. The special authorization logic is specified. The software prototype that implements the proposed mathematical model is proposed. The practical use of dynamic coalitions is demonstrated in the field of secure parallel computing by illustrating Coalition PARCS system architecture.