sdsi
Class Verifier

java.lang.Object
  |
  +--sdsi.Utility
        |
        +--sdsi.Verifier

public class Verifier

extends Utility

Verifies proof sequences for permissions and name bindings.

Author:

Sameer Ajmani

Field Summary

Fields inherited from class sdsi.Utility

_cache, DEBUG

Constructor Summary

Verifier()

Method Summary

boolean	verifyAuth(Sequence sequence, SDSIPublicKey issuer, java.lang.String[] names, Tag tag, Subject target) Checks if the given sequence proves that the tag propagates from the issuer (with optional names) to the target.
boolean	verifyDef(Sequence sequence, SDSIPublicKey issuer, java.lang.String[] names, Subject target) Checks if the given sequence proves that the issuer binds names to the target.

Methods inherited from class sdsi.Utility

anyNull, getIssuerKey, getIssuerSig, getKey, getSequence, getSubjectKey, getValidity, onChain, onStack, popStack, pushStack, topStack, validStack

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Verifier

public Verifier()

Method Detail

verifyAuth

public boolean verifyAuth(Sequence sequence,
                          SDSIPublicKey issuer,
                          java.lang.String[] names,
                          Tag tag,
                          Subject target)
                   throws SDSIException

Checks if the given sequence proves that the tag propagates from the issuer (with optional names) to the target.

Parameters:

sequence - the proof sequence

issuer - the issuer of the permission or of the first name

names - names for the issuer, ok if null

tag - the permission tag

target - the target subject of the permission

Returns:

true iff the sequence proves the permission

Throws:

SDSIException - thrown if the arguments are null or there is an internal error

verifyDef

public boolean verifyDef(Sequence sequence,
                         SDSIPublicKey issuer,
                         java.lang.String[] names,
                         Subject target)
                  throws SDSIException

Checks if the given sequence proves that the issuer binds names to the target.

Parameters:

sequence - the proof sequence

issuer - the issuer of the first name

names - names to bind to the target

target - the target subject of the binding

Returns:

true iff the sequence proves the binding

Throws:

SDSIException - thrown if the arguments are null or there is an internal error