edu.mit.csail.aeolus.api
Class AeolusShared

java.lang.Object
  extended by edu.mit.csail.aeolus.api.AeolusShared
All Implemented Interfaces:
AeolusSafe
Direct Known Subclasses:
AeolusBox, AeolusLock, AeolusQueue

public abstract class AeolusShared
extends java.lang.Object
implements AeolusSafe

AeolusShared objects reside in shared state. The Aeolus platform transforms them at runtime so that they are effectively isolated, i.e., they can't contain pointers to the outside world. All accesses to shared objects are subject to a label check by the Aeolus platform.


Field Summary
 EventID sharedLastEid
          Deprecated. 
 
Constructor Summary
protected AeolusShared()
          Create a new AeolusShared object with copies of the thread's current labels.
protected AeolusShared(AeolusLabel sLabel, AeolusLabel iLabel)
          Create a new AeolusShared object with copies of the specified labels.
 
Method Summary
 AeolusLabel getIntegrityLabel()
          Return a copy of the object's integrity label.
 AeolusLabel getSecrecyLabel()
          Return a copy of the object's secrecy label.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

sharedLastEid

@Deprecated
public EventID sharedLastEid
Deprecated. 
Constructor Detail

AeolusShared

protected AeolusShared()
Create a new AeolusShared object with copies of the thread's current labels.


AeolusShared

protected AeolusShared(AeolusLabel sLabel,
                       AeolusLabel iLabel)
                throws InfoFlowControlException
Create a new AeolusShared object with copies of the specified labels. The supplied labels must be no less restrictive than the caller's.

Throws:
InfoFlowControlException - - if labels are less restrictive than the caller's.
Method Detail

getIntegrityLabel

public final AeolusLabel getIntegrityLabel()
Return a copy of the object's integrity label.


getSecrecyLabel

public final AeolusLabel getSecrecyLabel()
Return a copy of the object's secrecy label.