Ответ:
Для каждой пары «субъект — объект» учитываем только действия со статусом «УСПЕХ» в журнале; записи «ОТКАЗ» не дают права. Марк владеет всеми объектами, поэтому дополнительно имеет к каждому из них право R. При этом правила системы разрешают субъекту лишь одно действие на объект, так что права Марка дополняются его успешными действиями.
Марк: гараж — успешный просмотр (R); инструменты — успешное использование (X); запасы — успешное использование (X); электричество — успешное использование (X), а попытка записи завершилась отказом. С учётом права владельца: гараж R, инструменты RX, запасы RX, электричество RX.
Хранитель: инструменты — успешное использование (X); электричество — успешная запись (W). Просмотр запасов и использование электричества завершились отказом. Права: гараж —, инструменты X, запасы —, электричество W.
Сборщик Карл: гараж — успешная запись (W) и просмотр (R); инструменты — успешная запись (W); запасы — успешная запись (W); попытка использования инструментов завершилась отказом. Права: гараж RW, инструменты W, запасы W, электричество —.
| Субъект | Гараж | Инструменты | Запасы | Электричество |
|---|---|---|---|---|
| Марк | R | RX | RX | RX |
| Хранитель | — | X | — | W |
| Сборщик Карл | RW | W | W | — |
