br.ufsc.das.general
Interface DepSpaceServer

All Superinterfaces:
DepSpace
All Known Implementing Classes:
DepSpaceImpl, PolicyEnforcementLayer, ServerConfidentialityLayer

public interface DepSpaceServer
extends DepSpace


Method Summary
 void clean(DepTuple proof, Context ctx)
           
 java.util.List<DepTuple> getTuples()
           
 java.lang.Object signedRD(DepTuple template, Context ctx)
           
 
Methods inherited from interface br.ufsc.das.general.DepSpace
cas, in, inp, out, rd, rdp
 

Method Detail

signedRD

java.lang.Object signedRD(DepTuple template,
                          Context ctx)
                          throws DepSpaceException
Throws:
DepSpaceException

clean

void clean(DepTuple proof,
           Context ctx)
           throws DepSpaceException
Throws:
DepSpaceException

getTuples

java.util.List<DepTuple> getTuples()
                                   throws DepSpaceException
Throws:
DepSpaceException