| Interface | Description |
|---|---|
| Closure | |
| ConfPolicy | |
| IntegPolicy | |
| Label |
A Label is the runtime representation of a Jif label.
|
| Policy |
A Policy is a component of a label, and is either an integrity policy or
a confidentiality policy.
|
| Principal |
See the documentation for the Jif source file, $JIF/sig-src/jif/lang/Principal.jif.
|
| Class | Description |
|---|---|
| AbstractPolicy |
A Label is the runtime representation of a Jif label.
|
| AbstractPrincipal |
This is an abstract implementation of the principal interface.
|
| ActsForProof | |
| Capability | |
| Closure_JIF_IMPL | |
| ConjunctivePrincipal |
A conjunction of two or more (non-null) principals
|
| DelegatesProof | |
| DisjunctivePrincipal |
A disjunction of two (non-null) principals
|
| FromDisjunctProof | |
| JoinConfPolicy |
Represents the join of confidentiality policies
|
| JoinIntegPolicy |
Represents the join of integrity policies
|
| JoinPolicy |
Abstract class representing the join of policies.
|
| LabelUtil |
A Label is the run time representation of a Jif label.
|
| MeetConfPolicy |
Represents the meet of confidentiality policies
|
| MeetIntegPolicy |
Represents the meet of integrity policies
|
| MeetPolicy |
Abstract class representing the meet of policies.
|
| PairLabel |
A Label is the runtime representation of a Jif label.
|
| Principal_JIF_IMPL |
See the doucmentation for the Jif source file, $JIF/sig-src/jif/lang/Principal.jif.
|
| PrincipalSet | |
| PrincipalUtil |
Utility methods for principals.
|
| ReaderPolicy | |
| ReflexiveProof | |
| ToConjunctProof | |
| TransitiveProof | |
| WriterPolicy |
Provides classes that are fundamental to the Jif runtime system.
This package also provides classes for dealing with Jif runtime labels and runtime principals.