verificationBasis
P154088
predicate
Indicates the underlying evidence, method, or criteria used to confirm or validate that something is true, correct, or compliant.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| verificationInvolves | 2 |
| verifiedWith | 2 |
Sample triples (5)
| Subject | Object |
|---|---|
| START II | START I verification regime ⓘ |
| Apple-managed identity tokens | Apple public keys via predicate surface "verifiedWith" ⓘ |
| PSS (Probabilistic Signature Scheme) | modular exponentiation with public key via predicate surface "verificationInvolves" ⓘ |
| PSS (Probabilistic Signature Scheme) | recomputing hash and masks via predicate surface "verificationInvolves" ⓘ |
| seL4 microkernel | Isabelle/HOL theorem prover via predicate surface "verifiedWith" NERFINISHED ⓘ |