A B C D E F G H I J L M N O P R S T U V W

A

AbstractPolicy - Class in jif.lang
A Label is the runtime representation of a Jif label.
AbstractPolicy() - Constructor for class jif.lang.AbstractPolicy
 
accept(InputStream, OutputStream) - Method in interface jif.net.SocketAcceptor
 
acceptConnections(Label, ServerSocket, SocketAcceptor) - Static method in class jif.net.SocketUtil
Listen to the ServerSocket, and pass any new connections to the SocketAcceptor, in a new thread.
acts_for(Principal, Principal) - Static method in class jif.lang.PrincipalUtil
Returns true if and only if the principal p acts for the principal q.
actsFor(Principal, Principal) - Static method in class jif.lang.PrincipalUtil
Returns true if and only if the principal p acts for the principal q.
ActsForProof - Class in jif.lang
 
add(Principal) - Method in class jif.lang.PrincipalSet
 
addToChainBottom(Principal[], Principal) - Static method in class jif.runtime.NativePrincipal
Create a new chain of length chain.length+1, such that the last element of the new chain is principal, and all other elements are copied over from chain.
addToChainTop(Principal, Principal[]) - Static method in class jif.runtime.NativePrincipal
Create a new chain of length chain.length+1, such that the first element of the new chain is principal, and all other elements are copied over from chain, offset by one.
authorize(Principal, Object, Closure, Label) - Static method in class jif.lang.PrincipalUtil
Obtain a Capability for the given principal and closure.

B

bottomPrincipal() - Static method in class jif.lang.PrincipalUtil
 

C

Capability - Class in jif.lang
 
Closure - Interface in jif.lang
 
Closure_JIF_IMPL - Class in jif.lang
 
Closure_JIF_IMPL() - Constructor for class jif.lang.Closure_JIF_IMPL
 
ConfPolicy - Interface in jif.lang
 
confPolicy() - Method in interface jif.lang.Label
 
confPolicy() - Method in class jif.lang.PairLabel
 
conjunction(Principal, Principal) - Static method in class jif.lang.PrincipalUtil
 
conjunction(Collection) - Static method in class jif.lang.PrincipalUtil
 
ConjunctivePrincipal - Class in jif.lang
A conjunction of two or more (non-null) principals
currentDayOfMonth(Principal) - Static method in class jif.runtime.Runtime
 
currentMonth(Principal) - Static method in class jif.runtime.Runtime
 
currentUser() - Static method in class jif.runtime.Runtime
 
currentYear(Principal) - Static method in class jif.runtime.Runtime
 

D

DelegatesProof - Class in jif.lang
 
DelegatesProof(Principal, Principal) - Constructor for class jif.lang.DelegatesProof
 
delegatesTo(Principal) - Method in class jif.lang.ConjunctivePrincipal
 
delegatesTo(Principal) - Method in class jif.lang.DisjunctivePrincipal
 
delegatesTo(Principal) - Method in interface jif.lang.Principal
 
delegatesTo(Principal, Principal) - Static method in class jif.lang.PrincipalUtil
 
delegatesTo(Principal) - Method in class jif.runtime.NativePrincipal
 
disjunction(Principal, Principal) - Static method in class jif.lang.PrincipalUtil
 
disjunction(Collection) - Static method in class jif.lang.PrincipalUtil
 
DisjunctivePrincipal - Class in jif.lang
A disjunction of two (non-null) principals

E

equals(Object) - Method in class jif.lang.AbstractPolicy
 
equals(Principal) - Method in class jif.lang.ConjunctivePrincipal
 
equals(Principal) - Method in class jif.lang.DisjunctivePrincipal
 
equals(Object) - Method in class jif.lang.PairLabel
 
equals(Principal) - Method in interface jif.lang.Principal
 
equals(Principal, Principal) - Static method in class jif.lang.PrincipalUtil
 
equals(Object) - Method in class jif.lang.ReaderPolicy
 
equals(Object) - Method in class jif.lang.WriterPolicy
 
equals(Object) - Method in class jif.runtime.NativePrincipal
 
equals(Principal) - Method in class jif.runtime.NativePrincipal
 
equivalentTo(Label, Label) - Static method in class jif.lang.LabelUtil
 
equivalentTo(Principal, Principal) - Static method in class jif.lang.PrincipalUtil
 
err() - Method in class jif.runtime.Runtime
Get the standard error output parameterized by the default label, which has only one reader: the principal of this Runtime object.

F

FileSystem - Class in jif.runtime
This class represents the file system, through which you can query and set the security labels of files.
FileSystem() - Constructor for class jif.runtime.FileSystem
 
findActsForProof(Principal, Principal, Object) - Static method in class jif.lang.PrincipalUtil
Search for an ActsForProof between p and q.
findProofDownto(Principal, Object) - Method in class jif.lang.ConjunctivePrincipal
 
findProofDownto(Principal, Object) - Method in class jif.lang.DisjunctivePrincipal
 
findProofDownto(Principal, Object) - Method in interface jif.lang.Principal
 
findProofDownto(Principal, Object) - Method in class jif.runtime.NativePrincipal
 
findProofUpto(Principal, Object) - Method in class jif.lang.ConjunctivePrincipal
 
findProofUpto(Principal, Object) - Method in class jif.lang.DisjunctivePrincipal
 
findProofUpto(Principal, Object) - Method in interface jif.lang.Principal
 
findProofUpto(Principal, Object) - Method in class jif.runtime.NativePrincipal
 
FromDisjunctProof - Class in jif.lang
 

G

getActor() - Method in class jif.lang.ActsForProof
 
getAndClearTime() - Static method in class jif.lang.LabelUtil
 
getClosure() - Method in class jif.lang.Capability
 
getGranter() - Method in class jif.lang.ActsForProof
 
getRuntime(Principal) - Static method in class jif.runtime.Runtime
Gets a Runtime object parameterized with the principal p.
groups(NativePrincipal) - Static method in class jif.runtime.FileSystem
Set the access(read) policy of file.

H

hashCode() - Method in class jif.lang.AbstractPolicy
 
hashCode(Label) - Static method in class jif.lang.LabelUtil
 
hashCode() - Method in class jif.lang.PairLabel
 
hashCode() - Method in class jif.lang.ReaderPolicy
 
hashCode() - Method in class jif.lang.WriterPolicy
 
hashCode() - Method in class jif.runtime.NativePrincipal
 

I

in() - Method in class jif.runtime.Runtime
Get the standard input parameterized by the default label, which has only one reader: the principal of this Runtime object.
IntegPolicy - Interface in jif.lang
 
integPolicy() - Method in interface jif.lang.Label
 
integPolicy() - Method in class jif.lang.PairLabel
 
invoke() - Method in class jif.lang.Capability
 
invoke() - Method in interface jif.lang.Closure
 
isAuthorized(Object, Closure, Label) - Method in class jif.lang.ConjunctivePrincipal
 
isAuthorized(Object, Closure, Label) - Method in class jif.lang.DisjunctivePrincipal
 
isAuthorized(Object, Closure, Label) - Method in interface jif.lang.Principal
 
isAuthorized(Object, Closure, Label) - Method in class jif.runtime.NativePrincipal
 
isEmpty(String) - Static method in class jif.bin.SigMerge
 
isReadableBy(Label, Principal) - Static method in class jif.lang.LabelUtil
 

J

jif$cast$jif_lang_Capability(Principal, Label, Object) - Static method in class jif.lang.Capability
 
jif$cast$jif_lang_Closure(Principal, Label, Object) - Static method in class jif.lang.Closure_JIF_IMPL
 
jif$cast$jif_lang_Principal(Object) - Static method in class jif.lang.Principal_JIF_IMPL
 
jif$getjif_lang_Closure_L() - Method in interface jif.lang.Closure
 
jif$getjif_lang_Closure_P() - Method in interface jif.lang.Closure
 
jif$Instanceof(Principal, Label, Object) - Static method in class jif.lang.Capability
 
jif$Instanceof(Principal, Label, Object) - Static method in class jif.lang.Closure_JIF_IMPL
 
jif$Instanceof(Object) - Static method in class jif.lang.Principal_JIF_IMPL
 
jif.bin - package jif.bin
 
jif.lang - package jif.lang
Provides classes that are fundamental to the Jif runtime system.
jif.net - package jif.net
 
jif.runtime - package jif.runtime
Contains classes of the Jif runtime system.
join(ConfPolicy) - Method in interface jif.lang.ConfPolicy
 
join(IntegPolicy) - Method in interface jif.lang.IntegPolicy
 
join(ConfPolicy) - Method in class jif.lang.JoinConfPolicy
 
join(IntegPolicy) - Method in class jif.lang.JoinIntegPolicy
 
join(Label) - Method in interface jif.lang.Label
 
join(Label, Label) - Static method in class jif.lang.LabelUtil
 
join(ConfPolicy, ConfPolicy) - Static method in class jif.lang.LabelUtil
 
join(IntegPolicy, IntegPolicy) - Static method in class jif.lang.LabelUtil
 
join(ConfPolicy) - Method in class jif.lang.MeetConfPolicy
 
join(IntegPolicy) - Method in class jif.lang.MeetIntegPolicy
 
join(Label) - Method in class jif.lang.PairLabel
 
join(ConfPolicy) - Method in class jif.lang.ReaderPolicy
 
join(IntegPolicy) - Method in class jif.lang.WriterPolicy
 
JoinConfPolicy - Class in jif.lang
Represents the join of confidentiality policies
JoinIntegPolicy - Class in jif.lang
Represents the join of integrity policies

L

Label - Interface in jif.lang
A Label is the runtime representation of a Jif label.
labelOf(String) - Static method in class jif.runtime.FileSystem
Get the security label of file.
LabelUtil - Class in jif.lang
A Label is the runtime representation of a Jif label.

M

main(String[]) - Static method in class jif.bin.SigMerge
 
meet(ConfPolicy) - Method in interface jif.lang.ConfPolicy
 
meet(IntegPolicy) - Method in interface jif.lang.IntegPolicy
 
meet(ConfPolicy) - Method in class jif.lang.JoinConfPolicy
 
meet(IntegPolicy) - Method in class jif.lang.JoinIntegPolicy
 
meet(Label) - Method in interface jif.lang.Label
 
meet(Label, Label) - Static method in class jif.lang.LabelUtil
 
meet(ConfPolicy, ConfPolicy) - Static method in class jif.lang.LabelUtil
 
meet(IntegPolicy, IntegPolicy) - Static method in class jif.lang.LabelUtil
 
meet(ConfPolicy) - Method in class jif.lang.MeetConfPolicy
 
meet(IntegPolicy) - Method in class jif.lang.MeetIntegPolicy
 
meet(Label) - Method in class jif.lang.PairLabel
 
meet(ConfPolicy) - Method in class jif.lang.ReaderPolicy
 
meet(IntegPolicy) - Method in class jif.lang.WriterPolicy
 
MeetConfPolicy - Class in jif.lang
Represents the meet of confidentiality policies
MeetIntegPolicy - Class in jif.lang
Represents the meet of integrity policies
meetLbl(Label, Label) - Static method in class jif.lang.LabelUtil
 
meetPol(ConfPolicy, ConfPolicy) - Static method in class jif.lang.LabelUtil
 
meetPol(IntegPolicy, IntegPolicy) - Static method in class jif.lang.LabelUtil
 

N

name() - Method in class jif.lang.ConjunctivePrincipal
 
name() - Method in class jif.lang.DisjunctivePrincipal
 
name() - Method in interface jif.lang.Principal
 
name() - Method in class jif.runtime.NativePrincipal
 
NativePrincipal - Class in jif.runtime
A NativePrincipal represents the file system users and groups.
noComponents() - Static method in class jif.lang.LabelUtil
 
nullPrincipal() - Static method in class jif.lang.PrincipalUtil
returns the null principal, the principal that every other principal can act for.

O

openFileRead(String, Label) - Method in class jif.runtime.Runtime
Opens a file input stream for reading from the file with the specific name.
openFileWrite(String, boolean, Label) - Method in class jif.runtime.Runtime
Opens a file output stream to write a file with the specific name.
out() - Method in class jif.runtime.Runtime
Get the standard output parameterized by the default label, which has only one reader: the principal of this Runtime object.
owner() - Method in class jif.lang.ReaderPolicy
 
owner() - Method in class jif.lang.WriterPolicy
 

P

PairLabel - Class in jif.lang
A Label is the runtime representation of a Jif label.
PairLabel(ConfPolicy, IntegPolicy) - Constructor for class jif.lang.PairLabel
 
Policy - Interface in jif.lang
A Policy is a component of a label, and is either an integrity policy or a confidentiatlity policy.
Principal - Interface in jif.lang
See the doucmentation for the Jif source file, $JIF/sig-src/jif/lang/Principal.jif.
Principal_JIF_IMPL - Class in jif.lang
See the doucmentation for the Jif source file, $JIF/sig-src/jif/lang/Principal.jif.
Principal_JIF_IMPL() - Constructor for class jif.lang.Principal_JIF_IMPL
 
PrincipalSet - Class in jif.lang
 
PrincipalSet() - Constructor for class jif.lang.PrincipalSet
 
PrincipalUtil - Class in jif.lang
Utility methods for principals.
PrincipalUtil() - Constructor for class jif.lang.PrincipalUtil
 

R

readableByPrinPolicy(Principal) - Static method in class jif.lang.PrincipalUtil
 
reader() - Method in class jif.lang.ReaderPolicy
 
readerPolicy(Principal, Principal) - Static method in class jif.lang.LabelUtil
 
readerPolicy(Principal, Collection) - Static method in class jif.lang.LabelUtil
 
readerPolicy(Label, Principal, Principal[]) - Static method in class jif.lang.LabelUtil
See the Jif signature for the explanation of lbl.
readerPolicy(Principal, PrincipalSet) - Static method in class jif.lang.LabelUtil
 
ReaderPolicy - Class in jif.lang
 
ReaderPolicy(Principal, Principal) - Constructor for class jif.lang.ReaderPolicy
 
readerPolicyLabel(Principal, Principal) - Static method in class jif.lang.LabelUtil
 
readerPolicyLabel(Principal, Collection) - Static method in class jif.lang.LabelUtil
 
readerPolicyLabel(Label, Principal, Principal[]) - Static method in class jif.lang.LabelUtil
See the Jif signature for the explanation of lbl.
readerPolicyLabel(Principal, PrincipalSet) - Static method in class jif.lang.LabelUtil
 
ReflexiveProof - Class in jif.lang
 
relabelsTo(Label) - Method in interface jif.lang.Label
Returns true iff this <= l
relabelsTo(Label, Label) - Static method in class jif.lang.LabelUtil
 
relabelsTo(Label) - Method in class jif.lang.PairLabel
 
relabelsTo(Policy) - Method in interface jif.lang.Policy
 
relabelsTo(Policy) - Method in class jif.lang.ReaderPolicy
 
relabelsTo(Policy) - Method in class jif.lang.WriterPolicy
 
Runtime - Class in jif.runtime
The runtime interface between Jif programs and the underlying system.

S

SigMerge - Class in jif.bin
 
SigMerge() - Constructor for class jif.bin.SigMerge
 
SocketAcceptor - Interface in jif.net
Jif classes can implement this interface, and use the convenience method SocketUtil.acceptConnections.
SocketUtil - Class in jif.net
This class provides some useful utilities for Jif programs using Java's sockets.
stderr(Label) - Method in class jif.runtime.Runtime
Gets the standard error output.
stdin(Label) - Method in class jif.runtime.Runtime
Gets the standard input.
stdout(Label) - Method in class jif.runtime.Runtime
Gets the standard output.
stringValue(Label) - Static method in class jif.lang.LabelUtil
 
stringValue(Principal) - Static method in class jif.lang.PrincipalUtil
 
superiors - Variable in class jif.runtime.NativePrincipal
 
superiors() - Method in class jif.runtime.NativePrincipal
 

T

ToConjunctProof - Class in jif.lang
 
toLabel(ConfPolicy, IntegPolicy) - Static method in class jif.lang.LabelUtil
 
toLabel(ConfPolicy) - Static method in class jif.lang.LabelUtil
 
toLabel(IntegPolicy) - Static method in class jif.lang.LabelUtil
 
topPrincipal() - Static method in class jif.lang.PrincipalUtil
 
toString(Label) - Static method in class jif.lang.LabelUtil
 
toString() - Method in class jif.lang.PairLabel
 
toString(Principal) - Static method in class jif.lang.PrincipalUtil
 
toString() - Method in class jif.lang.ReaderPolicy
 
toString() - Method in class jif.lang.WriterPolicy
 
TransitiveProof - Class in jif.lang
 
TransitiveProof(ActsForProof, Principal, ActsForProof) - Constructor for class jif.lang.TransitiveProof
 

U

user(Principal) - Static method in class jif.runtime.Runtime
Get the current user

V

verifyProof(ActsForProof, Principal, Principal) - Static method in class jif.lang.PrincipalUtil
Verify that the chain is a valid delegates-chain between p and q.

W

writer() - Method in class jif.lang.WriterPolicy
 
writerPolicy(Principal, Principal) - Static method in class jif.lang.LabelUtil
 
writerPolicy(Principal, Collection) - Static method in class jif.lang.LabelUtil
 
writerPolicy(Label, Principal, Principal[]) - Static method in class jif.lang.LabelUtil
See the Jif signature for the explanation of lbl.
writerPolicy(Principal, PrincipalSet) - Static method in class jif.lang.LabelUtil
 
WriterPolicy - Class in jif.lang
 
WriterPolicy(Principal, Principal) - Constructor for class jif.lang.WriterPolicy
 
writerPolicyLabel(Principal, Principal) - Static method in class jif.lang.LabelUtil
 
writerPolicyLabel(Principal, Collection) - Static method in class jif.lang.LabelUtil
 
writerPolicyLabel(Label, Principal, Principal[]) - Static method in class jif.lang.LabelUtil
See the Jif signature for the explanation of lbl.

A B C D E F G H I J L M N O P R S T U V W