🛡️ Security Type SystemsInformation Flow Control, Declassification, Label-Based Security, Static Analysis