возможно что это уже получится атрибутная тогда
Не, вы видите только часть: метки, а еще есть вторая часть - монитор обращений, который и реализует принудительное разграничение. И в этом случае (при его применении) систему гораздо проще поддерживать в безопасном состоянии