|
Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 2021, Number 5, Pages 57–60
(Mi vmumm4428)
|
|
|
|
Short notes
Automata model for verifying attibuted-based access control policy in systems with a finite number of objects
A. L. Kuznetsovaa, S. A. Afoninb a Bauman Moscow State Technical University
b Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Abstract:
In this paper, we use a finite-automata model of attribute-based access control policies. The correctness of a policy is defined as a variation of the reachability problem for an infinite transition system induced by the policy. The problem of correctness validation for a given policy is shown decidable for information systems with a bounded number of objects.
Key words:
information security, ABAC, policy validation, finite automaton, decidability.
Received: 21.10.2020
Citation:
A. L. Kuznetsova, S. A. Afonin, “Automata model for verifying attibuted-based access control policy in systems with a finite number of objects”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2021, no. 5, 57–60; Moscow University Mathematics Bulletin, 76:5 (2021), 230–233
Linking options:
https://www.mathnet.ru/eng/vmumm4428 https://www.mathnet.ru/eng/vmumm/y2021/i5/p57
|
Statistics & downloads: |
Abstract page: | 73 | Full-text PDF : | 13 | References: | 18 | First page: | 4 |
|