Logical Language of Sertificate-Based Access Control in Security Models
URI (for links/citations):http://dl.acm.org/citation.cfm?doid=3058060.3058067
Kucherov, M. M.
Bogulskaya, N. A.
Институт космических и информационных технологий
Кафедра прикладной математики и компьютерной безопасности
Journal Name:ACM International Conference Proceeding Series
Journal Quartile in Scopus:без квартиля
Bibliographic Citation:Kucherov, M. M. Logical Language of Sertificate-Based Access Control in Security Models [Текст] / M. M. Kucherov, N. A. Bogulskaya // ACM International Conference Proceeding Series: Proceedings of the 2017 International Conference on Cryptography, Security and Privacy ICCSP 2017. — 2017. — Т. 127411. — С. 131-135
Over the last decades, we have seen several policy models, including role-based access control and more recently, certificate-base control. These models are based on the important notion “flow relation”. In this work, we present a logical language of certificate-based access control. Our model presents the formal method of reasoning for discretionary access and defines logic to express a discretionary policy. We introduce, instead, material implication widely used in mathematics, and we show in a case study its ease in every sense. We find it allows the policy specifications to be interpreted more conveniently by practitioners and implemented in a simple way. Our evaluation shows that policies defined with material implication can be used for creation of the specification of a trust relationships policy and for checking safety of any computer system.
Metadata:Show full item record
Showing items related by title, author, creator and subject.
Kucherov, Mikhail M.; Bogulskaya, Nina A. (2017-03)Over the last decades, we have seen several policy models, including role-based access control and more recently, certificate-base control. These models are based on the important notion “flow relation”. In this work, we ...
Kononov, Dmitry D.; Isaev, Sergey V.; Кононов, Д.Д.; Исаев, С.В. (Сибирский федеральный университет. Siberian Federal University, 2018-11)Web applications security is a complex problem with several aspects. One aspect is access control according to specified security policy. Access control is accomplished by security model restrictions. This research is ...
Abramov, Alexander; Blyankinshtein, Igor (2015-10)In the article the description of the developed electronic control system of rotary axes of the long road train is presented. The electrohydraulic control system contains two control paths: the main, the signals fulfilling ...
Accelerated Phase-lock-loop Frequency Control Methods of User’s Equipment in Perspective Radio Navigation Systems Kuzmin, Evgeny V. (Сибирский федеральный университет. Siberian Federal University, 2008-09)This paper investigates noise-immunity of accelerated phase-lock-loop frequency control algorithms of user equipment in perspective ground-based radio navigation systems. Three algorithms of accelerated phase-lock-loop ...
The Analytical Solution and the Dynamic Characteristics of the System Model Velocity Control Vibrating Roller Prokopiev, Andrey P.; Ivanchura, Vladimir I.; Emelianov, Ruric Т.; Прокопьев, А.П.; Иванчура, В.И.; Емельянов, Р.Т. (Сибирский федеральный университет. Siberian Federal University., 2014-06)Operation is devoted a problem of identification of dynamic system of the volume hydraulic actuator of the running gear of a vibrating roller. The mathematical model of control process by speed of driving of a vibrating ...