Методы и программные средства исследования моделей логического разграничения доступа на предмет выполнения требований по безопасностидиссертация