Login / Signup
Cryptographic Key Verification.
Richard E. Lennon
Stephen M. Matyas
Published in:
INFOCOM (1983)
Keyphrases
</>
model checking
concurrent systems
face verification
verification method
formal verification
temporal logic
high security
asynchronous circuits
signature verification
formal analysis
artificial intelligence
mobile robot
control system
feature extraction
high level
image processing
social networks