Login / Signup
One-way Sequence for Transaction Verification.
Alan G. Konheim
Published in:
CRYPTO (1981)
Keyphrases
</>
database
model checking
concurrency control
databases
video sequences
input data
formal verification
asynchronous circuits