jsdsi
Class FProver

java.lang.Object
  jsdsi.Prover
      jsdsi.FProver

class FProver

extends Prover

A prover that searches issuer-to-subject. Will only access the CertStore using AuthCertSelectors and NameCertSelectors.

Version:

$Revision: 1.3 $ $Date: 2004/06/25 19:28:03 $

Author:

Sameer Ajmani

See Also:

CertStore, AuthCertSelector, NameCertSelector

Nested Class Summary

(package private) static class

Prover.ProofFoundException Thrown when the Prover finds a proof.

Field Summary

(package private) MultiMap	check cert -> set of proof(cert)
(package private) MultiMap	compatible name -> set of proof(LHS -> name+X)
(package private) MultiMap	issuer issuer -> set of proof(issuer -> RHS)
(package private) java.util.Set	loadedIssuer Certificates for all issuers.
(package private) java.util.Set	loadedValue Certificates for issuers->name-string.
(package private) Cert	provee Statement to prove.
(package private) MultiMap	reverse subject -> set of proof(LHS -> subject)
(package private) java.security.cert.CertStore	store The CertStore used by this Proof.
(package private) MultiMap	value name -> set of proof(name -> principal)

Constructor Summary

(package private)

FProver(Cert c, java.security.cert.CertStore s)

Method Summary

(package private) int	getNumFetched() Returns the number of certificates fetched from the cert-store.
Proof	getProof() Returns the proof found by this prover.
(package private) void	insert(Proof p) Inserts the certificates of a given Proof to this Proof.
(package private) void	insertCertificates(java.util.Collection certs) Provides new certificates for this prover.
(package private) java.util.Set	load(java.util.Set cache, java.lang.Object key, CertSelector sel, MultiMap map) If a given set does not contain a given object, all certficates from the cert-store for a given CertSelector will be added to this proof's certificates.
(package private) java.util.Set	loadIssuer(Principal i) Loads all certificates for a given issuer from the cert store to this FProver's stored certificates.
(package private) java.util.Set	loadValue(Name n) Loads all certificates for the issuer of a given name and a name-string from the cert store to this FProver's stored certificates.
(package private) Proof	makeProof() Creates a new Proof.

Methods inherited from class java.lang.Object

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

Field Detail

loadedIssuer

java.util.Set loadedIssuer

Certificates for all issuers.

loadedValue

java.util.Set loadedValue

Certificates for issuers->name-string.

provee

Cert provee

Statement to prove.

store

java.security.cert.CertStore store

The CertStore used by this Proof.

check

MultiMap check

cert -> set of proof(cert)

value

MultiMap value

name -> set of proof(name -> principal)

compatible

MultiMap compatible

name -> set of proof(LHS -> name+X)

issuer

MultiMap issuer

issuer -> set of proof(issuer -> RHS)

reverse

MultiMap reverse

subject -> set of proof(LHS -> subject)

Constructor Detail

FProver

FProver(Cert c,
        java.security.cert.CertStore s)

See Also:

Prover.Prover(Cert, java.security.cert.CertStore)

Method Detail

makeProof

Proof makeProof()

Description copied from class: Prover

Creates a new Proof.

Specified by:

makeProof in class Prover

Returns:

a new Proof.

See Also:

Prover.makeProof()

loadIssuer

java.util.Set loadIssuer(Principal i)
                   throws Prover.ProofFoundException

Loads all certificates for a given issuer from the cert store to this FProver's stored certificates.

Parameters:

i - issuer to add the certificates from.

Returns:

a set of this FProver's certificates plus the certificates added.

Throws:

ProofFoundException - if a proof is found.

Prover.ProofFoundException

loadValue

java.util.Set loadValue(Name n)
                  throws Prover.ProofFoundException

Loads all certificates for the issuer of a given name and a name-string from the cert store to this FProver's stored certificates.

Parameters:

n - name to add the certificates for n's issuer and name-string bindings.

Returns:

a set with the used certificates plus the certificates added.

Throws:

ProofFoundException - if a proof is found.

Prover.ProofFoundException

insert

void insert(Proof p)
      throws Prover.ProofFoundException

Description copied from class: Prover

Inserts the certificates of a given Proof to this Proof.

Specified by:

insert in class Prover

Parameters:

p - Proof containing certificates to add to this Proof.

Throws:

Prover.ProofFoundException - if a proof is found.

See Also:

Prover.insert(Proof)

getNumFetched

int getNumFetched()

Returns the number of certificates fetched from the cert-store.

Returns:

the number of certificates fetched from the cert-store.

getProof

public final Proof getProof()

Returns the proof found by this prover.

Returns:

the proof found by this prover.

insertCertificates

void insertCertificates(java.util.Collection certs)
                  throws Prover.ProofFoundException

Provides new certificates for this prover. Adds the given certificates to the certificates already used.

Parameters:

certs - certificates to add to the prover.

Throws:

Prover.ProofFoundException - if a proof is found while adding the certificates.

load

java.util.Set load(java.util.Set cache,
                   java.lang.Object key,
                   CertSelector sel,
                   MultiMap map)
             throws Prover.ProofFoundException

If a given set does not contain a given object, all certficates from the cert-store for a given CertSelector will be added to this proof's certificates.

Parameters:

cache - set with objects.

key - key to search in cache.

sel - cert selector to add certificates from to this proof's certificates.

map - multi-map with sets stored for keys.

Returns:

the set stored in map for key if no error occures.

Throws:

Prover.ProofFoundException - if a proof is found.