Class(sec:JavaSandbox partial restriction(sec:protects allValuesFrom(intersectionOf(sec:_Prevention
unionOf(sec:_Confidentiality
sec:_Integrity
sec:_PolicyCompliance)
sec:_Technology)))
restriction(sec:protects someValuesFrom(sec:_Technology))
sec:AccessControlMechanism
restriction(sec:protects someValuesFrom(sec:_PolicyCompliance))
restriction(sec:protects someValuesFrom(sec:_Confidentiality))
restriction(sec:protects someValuesFrom(sec:_Integrity))
restriction(sec:protects someValuesFrom(sec:_Prevention)))