|
|||||||||
| Home >> All >> [ jsdsi overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
jsdsi
Class RProver

java.lang.Objectjsdsi.Prover
jsdsi.RProver
- class RProver
- extends Prover
A prover that searches subject-to-issuer. Will only access the
CertStore using CompatibleCertSelectors
and
Nested Class Summary
(package private) static classProver.ProofFoundException
Thrown when the Prover finds a proof.
Field Summary
(package private) MultiMapcheck
cert -> set of proof(cert)
(package private) MultiMapcompatible
name -> set of proof(LHS -> name+X)
(package private) MultiMapissuer
issuer -> set of proof(issuer -> RHS)
(package private) java.util.SetloadedCompatible
Certificates for issuers to local names.
(package private) java.util.SetloadedReverse
Certificates from issuers to subject's.
(package private) Certprovee
Statement to prove.
(package private) MultiMapreverse
subject -> set of proof(LHS -> subject)
(package private) java.security.cert.CertStorestore
The CertStore used by this Proof.
(package private) MultiMapvalue
name -> set of proof(name -> principal)
Constructor Summary
(package private)RProver(Cert c,
java.security.cert.CertStore s)
Method Summary
(package private) intgetNumFetched()
Returns the number of certificates fetched from the cert-store.
ProofgetProof()
Returns the proof found by this prover.
(package private) voidinsert(Proof p)
Inserts the certificates of a given Proof to this
Proof.
(package private) voidinsertCertificates(java.util.Collection certs)
Provides new certificates for this prover.
(package private) java.util.Setload(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.SetloadCompatible(Name n)
Loads all certificates for a given name-issuer and
name-string (local) to thisRProver's certificates.
(package private) java.util.SetloadReverse(Subject s)
Loads the certificates for a given subject to this
RProver's certificates.
(package private) ProofmakeProof()
Creates a new Proof.
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Field Detail
loadedReverse
java.util.Set loadedReverse
loadedCompatible
java.util.Set loadedCompatible
provee
Cert provee
store
java.security.cert.CertStore store
CertStore used by this Proof.
check
MultiMap check
value
MultiMap value
compatible
MultiMap compatible
issuer
MultiMap issuer
reverse
MultiMap reverse
Constructor Detail
RProver
RProver(Cert c,
java.security.cert.CertStore s)
Method Detail
makeProof
Proof makeProof()
loadReverse
java.util.Set loadReverse(Subject s)
throws Prover.ProofFoundException
RProver's certificates.
loadCompatible
java.util.Set loadCompatible(Name n)
throws Prover.ProofFoundException
RProver's certificates.
insert
void insert(Proof p)
throws Prover.ProofFoundException
ProverProof to this
Proof.
getNumFetched
int getNumFetched()
getProof
public final Proof getProof()
insertCertificates
void insertCertificates(java.util.Collection certs)
throws Prover.ProofFoundException
load
java.util.Set load(java.util.Set cache,
java.lang.Object key,
CertSelector sel,
MultiMap map)
throws Prover.ProofFoundException
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
