RUS  ENG
Full version
JOURNALS // Intelligent systems. Theory and applications // Archive

Intelligent systems. Theory and applications, 2021 Volume 25, Issue 4, Pages 145–148 (Mi ista436)

Part 2. Mathematics and Computer Science

Criterion of secure union of systems with take-grant models

V. A. Kuzovikhina

New School

Abstract: In this work we consider the problem of secure union of systems with take-grant models from the point of view of adding new accesses and corresponding of subjects. Union of systems is considered secure if the set of accesses did not change for each individual system. We obtain the criteria of secure union for each union type.

Keywords: formal secutity models, take-grant model, secure union.



© Steklov Math. Inst. of RAS, 2024