jif.lang

Interfaces  Closure Label Policy Principal

Classes  AbstractLabel Capability Closure_JIF_IMPL JoinLabel LabelUtil Principal_JIF_IMPL PrincipalSet PrincipalUtil PrivacyPolicy ReadableByPrinLabel