To obtain access to full text of journal and articles you must register!
- Article name
- Modeling and verification of the access control subsystem of Accord-X data security tool
- Authors
- Kanner A. M., , kanner@okbsapr.ru, JSC "OKB SAPR", Moscow, Russia
Kanner T. M., , tatianash@okbsapr.ru, JSC "OKB SAPR"; Moscow Institute of Physics and Technology (National Research University), Moscow, Russia; Dolgoprudny, Moscow region, Russia
- Keywords
- access control subsystem / Accord-X / security model / verification / temporal logic
- Year
- 2020 Issue 3 Pages 6 - 10
- Code EDN
- Code DOI
- Abstract
- The article describes the access control model of the Accord-X data security tool, which makes it possible to implement mandatory access control in the Linux operating systems. The model also takes into account discretionary access control. Modeling and verification of the access control model was carried out in the language of Lamport's temporal logic of actions and the corresponding verification tools.
- Text
- BUY for read the full text of article
- Buy
- 500.00 rub
