Have you looked at capabilities, like E, Mont-E and its descendants? https://en.wikipedia.org/wiki/Object-capability_model https://en.wikipedia.org/wiki/Object

Have you looked at capabilities, like E, Mont-E and its descendants? https://en.wikipedia.org/wiki/Object-capability_model https://en.wikipedia.org/wiki/Object-capability_model https://monte.readthedocs.io/en/latest/taste.html#cooperation-without-vulerability https://monte.readthedocs.io/en/latest/taste.html#cooperatio... https://en.wikipedia.org/wiki/E_(programming_language) https://en.wikipedia.org/wiki/E_(programming_language)