Validation of Safety-Like Properties for Entity-Based Access Control Policies

Авторы: Afonin Sergey, Bonushkina Antonina
Сборник: Proc. of the international conference "Advances in Soft and Hard Computing"
Серия: Advances in Intelligent Systems and Computing
Том: 889
Год издания: 2019
Место издания: Springer International Publishing
Первая страница: 259
Последняя страница: 271
DOI: 10.1007/978-3-030-03314-9_23
Аннотация: In this paper safety problems for a simplified version of entity-based access control model are considered. By safety we mean the impossibility for a user to acquire access a given object by performing a sequence of legitimate operations over the database. Our model considers the database as a labelled graph. Object modification operations are guarded by FO-definable pre- and post-conditions. We show undecidability of the safety problem in general and describe an algorithm for deciding safety for a restricted class of access control policies.
Добавил в систему: Афонин Сергей Александрович

	ИСТИНА	Войти в систему Регистрация
	ИПМех РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА