Question about the high-level language DTEL

[GtPrOjEcTX]

For specifying access control for objects.

I was wondering for what OSs it is used and is it a static tool for analysis of the OS outside of the OS or is it part of the OS that is executed/performed when you open files, etc.?