Показать сокращенную информацию
Logical Language of Sertificate-Based Access Control in Security Models
Автор | Kucherov, M. M. | |
Автор | Bogulskaya, N. A. | |
Дата внесения | 2018-02-07T07:34:21Z | |
Дата, когда ресурс стал доступен | 2018-02-07T07:34:21Z | |
Дата публикации | 2017-03 | |
Библиографическое описание | 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 | |
URI (для ссылок/цитирований) | http://dl.acm.org/citation.cfm?doid=3058060.3058067 | |
URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/70254 | |
Аннотация | 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. | |
Тема | access control policy languages | |
Тема | access control model | |
Тема | authorization | |
Тема | logic functions | |
Тема | information flow model | |
Название | Logical Language of Sertificate-Based Access Control in Security Models | |
Тип | Journal Article | |
Тип | Journal Article Preprint | |
Страницы | 131-135 | |
ГРНТИ | 50.37.23 | |
Дата обновления | 2018-02-07T07:34:21Z | |
DOI | 10.1145/3058060.3058067 | |
Институт | Институт космических и информационных технологий | |
Подразделение | Кафедра прикладной математики и компьютерной безопасности | |
Журнал | ACM International Conference Proceeding Series | |
Квартиль журнала в Scopus | без квартиля |