Journals
Books
Articles by keyword формальные модели
Analysis of formal models transformation
S. V. Afanasiev
Hard principle of least privilege for fine-grained access control and computer attack mitigation
P.S. Bushmakin, A.V. Sapozhnikov, D.Yu. Gamayunov