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.