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(LabelUtil) - Constructor for class jif.lang.AbstractPolicy

AbstractPrincipal - Class in jif.lang

This is an abstract implementation of the principal interface.

AbstractPrincipal() - Constructor for class jif.lang.AbstractPrincipal

AbstractPrincipal(String) - Constructor for class jif.lang.AbstractPrincipal

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

actsForProof(Principal, Principal) - Static method in class jif.lang.PrincipalUtil

Returns an actsfor proof if and only if the principal p acts for the principal q.

add(Principal) - Method in class jif.lang.PrincipalSet

addDelegatesTo(Principal) - Method in class jif.lang.AbstractPrincipal

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.

arrayDeepClone(Object[]) - Static method in class jif.runtime.Runtime

authorize(Principal, Object, Closure, Label) - Static method in class jif.lang.PrincipalUtil

Obtain a Capability for the given principal and closure.

B

bottomConf() - Method in class jif.lang.LabelUtil

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<Principal>) - Static method in class jif.lang.PrincipalUtil

ConjunctivePrincipal - Class in jif.lang

A conjunction of two or more (non-null) principals

COUNT_TIME - Static variable in class jif.lang.LabelUtil

currentDayOfMonth(Principal) - Static method in class jif.runtime.Runtime

currentHour(Principal) - Static method in class jif.runtime.Runtime

currentMinute(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.AbstractPrincipal

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<Principal>) - 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(Object) - Method in class jif.lang.AbstractPrincipal

equals(Principal) - Method in class jif.lang.AbstractPrincipal

equals(Principal) - Method in class jif.lang.ConjunctivePrincipal

equals(Principal) - Method in class jif.lang.DisjunctivePrincipal

equals(Object) - Method in class jif.lang.JoinPolicy

equals(Object) - Method in class jif.lang.MeetPolicy

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) - 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.

execute(Principal, Object, Closure, Label) - Static method in class jif.lang.PrincipalUtil

Execute the given closure, if the principal agrees.

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.AbstractPrincipal

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.AbstractPrincipal

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

gatherDelegationDependencies(Set) - Method in class jif.lang.ActsForProof

gatherDelegationDependencies(Set) - Method in class jif.lang.DelegatesProof

gatherDelegationDependencies(Set) - Method in class jif.lang.FromDisjunctProof

gatherDelegationDependencies(Set) - Method in class jif.lang.ReflexiveProof

gatherDelegationDependencies(Set) - Method in class jif.lang.ToConjunctProof

gatherDelegationDependencies(Set) - Method in class jif.lang.TransitiveProof

getActor() - Method in class jif.lang.ActsForProof

getAndClearCount() - Method in class jif.lang.LabelUtil

getAndClearTime() - Method in class jif.lang.LabelUtil

getAndClearTopCount() - 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.

getUser(Principal, String) - Static method in class jif.runtime.Runtime

Get a native user

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() - Method in class jif.lang.AbstractPrincipal

hashCode() - Method in class jif.lang.ConjunctivePrincipal

hashCode() - Method in class jif.lang.DisjunctivePrincipal

hashCode() - Method in class jif.lang.JoinPolicy

hashCode(Label) - Method in class jif.lang.LabelUtil

hashCode() - Method in class jif.lang.MeetPolicy

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, boolean) - Method in class jif.lang.AbstractPrincipal

isAuthorized(Object, Closure, Label, boolean) - Method in class jif.lang.ConjunctivePrincipal

isAuthorized(Object, Closure, Label, boolean) - Method in class jif.lang.DisjunctivePrincipal

isAuthorized(Object, Closure, Label, boolean) - Method in interface jif.lang.Principal

isAuthorized(Object, Closure, Label, boolean) - Method in class jif.runtime.NativePrincipal

isEmpty(String) - Static method in class jif.bin.SigMerge

isReadableBy(Label, Principal) - Method in class jif.lang.LabelUtil

isWritableBy(Label, Principal) - 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$lang$AbstractPrincipal$(String) - Method in class jif.lang.AbstractPrincipal

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, Set) - Method in interface jif.lang.ConfPolicy

Return the join of this policy and p.

join(ConfPolicy) - Method in interface jif.lang.ConfPolicy

join(IntegPolicy, Set) - Method in interface jif.lang.IntegPolicy

Return the join of this policy and p.

join(IntegPolicy) - Method in interface jif.lang.IntegPolicy

join(ConfPolicy, Set) - Method in class jif.lang.JoinConfPolicy

join(ConfPolicy) - Method in class jif.lang.JoinConfPolicy

join(IntegPolicy, Set) - Method in class jif.lang.JoinIntegPolicy

join(IntegPolicy) - Method in class jif.lang.JoinIntegPolicy

join(Label) - Method in interface jif.lang.Label

join(Label, Label) - Method in class jif.lang.LabelUtil

join(ConfPolicy, ConfPolicy) - Method in class jif.lang.LabelUtil

join(ConfPolicy, ConfPolicy, Set<PrincipalUtil.DelegationPair>) - Method in class jif.lang.LabelUtil

join(IntegPolicy, IntegPolicy) - Method in class jif.lang.LabelUtil

join(ConfPolicy, Set) - Method in class jif.lang.MeetConfPolicy

join(ConfPolicy) - Method in class jif.lang.MeetConfPolicy

join(IntegPolicy, Set) - Method in class jif.lang.MeetIntegPolicy

join(IntegPolicy) - Method in class jif.lang.MeetIntegPolicy

join(Label) - Method in class jif.lang.PairLabel

join(ConfPolicy, Set) - Method in class jif.lang.ReaderPolicy

join(ConfPolicy) - Method in class jif.lang.ReaderPolicy

join(IntegPolicy, Set) - Method in class jif.lang.WriterPolicy

join(IntegPolicy) - Method in class jif.lang.WriterPolicy

joinComponents() - Method in class jif.lang.JoinPolicy

JoinConfPolicy - Class in jif.lang

Represents the join of confidentiality policies

JoinIntegPolicy - Class in jif.lang

Represents the join of integrity policies

JoinPolicy - Class in jif.lang

Abstract class representing the join of 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 - Variable in class jif.lang.AbstractPolicy

LabelUtil - Class in jif.lang

A Label is the runtime representation of a Jif label.

LabelUtil() - Constructor for class jif.lang.LabelUtil

M

main(String[]) - Static method in class jif.bin.SigMerge

meet(ConfPolicy, Set) - Method in interface jif.lang.ConfPolicy

meet(ConfPolicy) - Method in interface jif.lang.ConfPolicy

meet(IntegPolicy, Set) - Method in interface jif.lang.IntegPolicy

Return the meet of this policy and p.

meet(IntegPolicy) - Method in interface jif.lang.IntegPolicy

meet(ConfPolicy, Set) - Method in class jif.lang.JoinConfPolicy

meet(ConfPolicy) - Method in class jif.lang.JoinConfPolicy

meet(IntegPolicy, Set) - Method in class jif.lang.JoinIntegPolicy

meet(IntegPolicy) - Method in class jif.lang.JoinIntegPolicy

meet(Label) - Method in interface jif.lang.Label

meet(Label, Label) - Method in class jif.lang.LabelUtil

meet(ConfPolicy, ConfPolicy, Set<PrincipalUtil.DelegationPair>) - Method in class jif.lang.LabelUtil

meet(ConfPolicy, Set) - Method in class jif.lang.MeetConfPolicy

meet(ConfPolicy) - Method in class jif.lang.MeetConfPolicy

meet(IntegPolicy, Set) - Method in class jif.lang.MeetIntegPolicy

meet(IntegPolicy) - Method in class jif.lang.MeetIntegPolicy

meet(Label) - Method in class jif.lang.PairLabel

meet(ConfPolicy, Set) - Method in class jif.lang.ReaderPolicy

meet(ConfPolicy) - Method in class jif.lang.ReaderPolicy

meet(IntegPolicy, Set) - Method in class jif.lang.WriterPolicy

meet(IntegPolicy) - Method in class jif.lang.WriterPolicy

meetComponents() - Method in class jif.lang.MeetPolicy

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) - Method in class jif.lang.LabelUtil

meetPol(ConfPolicy, ConfPolicy) - Method in class jif.lang.LabelUtil

meetPol(IntegPolicy, IntegPolicy) - Method in class jif.lang.LabelUtil

MeetPolicy - Class in jif.lang

Abstract class representing the meet of policies.

N

name() - Method in class jif.lang.AbstractPrincipal

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() - Method in class jif.lang.LabelUtil

notifyNewDelegation(Principal, Principal) - Static method in class jif.lang.PrincipalUtil

Notification that a new delegation has been created.

notifyRevokeDelegation(Principal, Principal) - Static method in class jif.lang.PrincipalUtil

Notification that an existing delegation has been revoked.

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(LabelUtil, 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 confidentiality policy.

Principal - Interface in jif.lang

See the documentation 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) - Method in class jif.lang.LabelUtil

readerPolicy(Principal, Collection<Principal>) - Method in class jif.lang.LabelUtil

readerPolicy(Label, Principal, Principal[]) - Method in class jif.lang.LabelUtil

See the Jif signature for the explanation of lbl.

readerPolicy(Principal, PrincipalSet) - Method in class jif.lang.LabelUtil

ReaderPolicy - Class in jif.lang

ReaderPolicy(LabelUtil, Principal, Principal) - Constructor for class jif.lang.ReaderPolicy

readerPolicyLabel(Principal, Principal) - Method in class jif.lang.LabelUtil

readerPolicyLabel(Principal, Collection<Principal>) - Method in class jif.lang.LabelUtil

readerPolicyLabel(Label, Principal, Principal[]) - Method in class jif.lang.LabelUtil

See the Jif signature for the explanation of lbl.

readerPolicyLabel(Principal, PrincipalSet) - Method in class jif.lang.LabelUtil

ReflexiveProof - Class in jif.lang

relabelsTo(Policy, Set) - Method in class jif.lang.JoinPolicy

relabelsTo(Label, Set) - Method in interface jif.lang.Label

Returns true iff this <= l.

relabelsTo(Label, Label) - Method in class jif.lang.LabelUtil

relabelsTo(Policy, Policy) - Method in class jif.lang.LabelUtil

relabelsTo(Policy, Policy, Set<PrincipalUtil.DelegationPair>) - Method in class jif.lang.LabelUtil

relabelsTo(Policy, Set) - Method in class jif.lang.MeetPolicy

relabelsTo(Label, Set) - Method in class jif.lang.PairLabel

relabelsTo(Policy, Set) - Method in interface jif.lang.Policy

Does this policy relabel to policy p? If this method returns true, then all delegations that this result depend upon (i.e., DelegationPairs) should be added to the set s.

relabelsTo(Policy, Set) - Method in class jif.lang.ReaderPolicy

relabelsTo(Policy, Set) - Method in class jif.lang.WriterPolicy

removeDelegatesTo(Principal) - Method in class jif.lang.AbstractPrincipal

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

singleton - Static variable in class jif.lang.LabelUtil

singleton() - Static method in class jif.lang.LabelUtil

sleep(Principal, int) - Static method in class jif.runtime.Runtime

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) - 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

superiorsContains(Principal) - Method in class jif.lang.AbstractPrincipal

T

ToConjunctProof - Class in jif.lang

toLabel(ConfPolicy, IntegPolicy) - Method in class jif.lang.LabelUtil

toLabel(ConfPolicy) - Method in class jif.lang.LabelUtil

toLabel(IntegPolicy) - Method in class jif.lang.LabelUtil

topConf() - Method in class jif.lang.LabelUtil

topInteg() - Method in class jif.lang.LabelUtil

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

toString() - Method in class jif.lang.JoinPolicy

toString(Label) - Method in class jif.lang.LabelUtil

toString() - Method in class jif.lang.MeetPolicy

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

USE_CACHING - Static variable in class jif.lang.LabelUtil

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

writableByPrinPolicy(Principal) - Static method in class jif.lang.PrincipalUtil

writer() - Method in class jif.lang.WriterPolicy

writerPolicy(Principal, Principal) - Method in class jif.lang.LabelUtil

writerPolicy(Principal, Collection<Principal>) - Method in class jif.lang.LabelUtil

writerPolicy(Label, Principal, Principal[]) - Method in class jif.lang.LabelUtil

See the Jif signature for the explanation of lbl.

writerPolicy(Principal, PrincipalSet) - Method in class jif.lang.LabelUtil

WriterPolicy - Class in jif.lang

WriterPolicy(LabelUtil, Principal, Principal) - Constructor for class jif.lang.WriterPolicy

writerPolicyLabel(Principal, Principal) - Method in class jif.lang.LabelUtil

writerPolicyLabel(Principal, Collection<Principal>) - Method in class jif.lang.LabelUtil

writerPolicyLabel(Label, Principal, Principal[]) - 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