The Model of Internal Security Access Control for Integrated Information System

Here we present an internal security access control model for information systems based on subject-object access model. The authors represent a new complex security protocol and use formal methods of BAN-logics for analyzing and verification.

Bibliographic Details
Main Authors:	S.V. Zapechnikov, A. K. Pleshkov
Format:	Article
Language:	English
Published:	Moscow Engineering Physics Institute 2011-06-01
Series:	Bezopasnostʹ Informacionnyh Tehnologij
Subjects:	information system information resources access control BAN-logics
Online Access:	https://bit.mephi.ru/index.php/bit/article/view/509

id	doaj-749625d678d14ffd8b5822e57b850379
record_format	Article
spelling	doaj-749625d678d14ffd8b5822e57b8503792020-11-24T21:07:24ZengMoscow Engineering Physics Institute Bezopasnostʹ Informacionnyh Tehnologij2074-71282074-71362011-06-011825059499The Model of Internal Security Access Control for Integrated Information SystemS.V. ZapechnikovA. K. PleshkovHere we present an internal security access control model for information systems based on subject-object access model. The authors represent a new complex security protocol and use formal methods of BAN-logics for analyzing and verification.https://bit.mephi.ru/index.php/bit/article/view/509information systeminformation resourcesaccess controlBAN-logics
collection	DOAJ
language	English
format	Article
sources	DOAJ
author	S.V. Zapechnikov A. K. Pleshkov
spellingShingle	S.V. Zapechnikov A. K. Pleshkov The Model of Internal Security Access Control for Integrated Information System Bezopasnostʹ Informacionnyh Tehnologij information system information resources access control BAN-logics
author_facet	S.V. Zapechnikov A. K. Pleshkov
author_sort	S.V. Zapechnikov
title	The Model of Internal Security Access Control for Integrated Information System
title_short	The Model of Internal Security Access Control for Integrated Information System
title_full	The Model of Internal Security Access Control for Integrated Information System
title_fullStr	The Model of Internal Security Access Control for Integrated Information System
title_full_unstemmed	The Model of Internal Security Access Control for Integrated Information System
title_sort	model of internal security access control for integrated information system
publisher	Moscow Engineering Physics Institute
series	Bezopasnostʹ Informacionnyh Tehnologij
issn	2074-7128 2074-7136
publishDate	2011-06-01
description	Here we present an internal security access control model for information systems based on subject-object access model. The authors represent a new complex security protocol and use formal methods of BAN-logics for analyzing and verification.
topic	information system information resources access control BAN-logics
url	https://bit.mephi.ru/index.php/bit/article/view/509
work_keys_str_mv	AT svzapechnikov themodelofinternalsecurityaccesscontrolforintegratedinformationsystem AT akpleshkov themodelofinternalsecurityaccesscontrolforintegratedinformationsystem AT svzapechnikov modelofinternalsecurityaccesscontrolforintegratedinformationsystem AT akpleshkov modelofinternalsecurityaccesscontrolforintegratedinformationsystem
_version_	1716762952103624704

The Model of Internal Security Access Control for Integrated Information System

Similar Items