Overview  Package   Class  Use  Deprecated  Index
Home >> All >> [ jsdsi overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

jsdsi
Class Prover  

java.lang.Object
  jsdsi.Prover

Direct Known Subclasses:

FProver, RProver

---

abstract class Prover

extends java.lang.Object

Given a statement (a Cert) and a CertStore, attempts to construct a Proof that the statement holds using certificates from the store.

Version:

$Revision: 1.3 $ $Date: 2003/11/24 17:04:32 $

---

Nested Class Summary
(package private) static class	Prover.ProofFoundException           Thrown when the Prover finds a proof.

 

Field Summary
private  boolean	attempted           Indicates if there has already be an attempt to find a proof.
(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)
private  int	numFetched           Number of certs fetched from cert store.
private  Proof	proof           The proof found by this prover.
(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)	Prover(Cert c, java.security.cert.CertStore s)           Creates a new Prover from a given Cert and a given CertStore.

 

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

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)

---

numFetched

private int numFetched

Number of certs fetched from cert store.

---

attempted

private boolean attempted

Indicates if there has already be an attempt to find a proof.

---

proof

private Proof proof

The proof found by this prover.

Constructor Detail

Prover

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

Creates a new Prover from a given Cert and a given CertStore.

Method Detail

getNumFetched

int getNumFetched()

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

---

getProof

public final Proof getProof()

Returns the proof found by this prover.

---

makeProof

abstract Proof makeProof()

Creates a new Proof.

---

insert

abstract void insert(Proof p)
              throws Prover.ProofFoundException

Inserts the certificates of a given Proof to this Proof.

---

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.

---

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.

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> [ jsdsi overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---