|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
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 confidentiatlity policy. |
Principal | See the doucmentation for the Jif source file, $JIF/sig-src/jif/lang/Principal.jif. |
Class Summary | |
---|---|
AbstractPolicy | A Label is the runtime representation of a Jif label. |
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 |
LabelUtil | A Label is the runtime representation of a Jif label. |
MeetConfPolicy | Represents the meet of confidentiality policies |
MeetIntegPolicy | Represents the meet of integrity 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.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |