The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB

DOI10.17223/20710410/52/5OpenAlexW3193965966MaRDI QIDQ5006744

P. N. Devyanin, Unnamed Author

Publication date: 17 August 2021

Published in: Prikladnaya Diskretnaya Matematika (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/pdm739

zbMATH Keywords

model checkingdeductive verificationevent-Baccess control modelRodin

Mathematics Subject Classification ID

Biology and other natural sciences (92-XX) Computer science (68-XX)

Uses Software

• Rodin
• ProB

This page was built for publication: The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB