A Permissioned Blockchain-Based System for Verification of Academic Records.
Ahmed BadrLaura RaffertyQusay H. MahmoudKhalid ElgazzarPatrick C. K. HungPublished in: NTMS (2019)
Keyphrases
- model checking
- databases
- formal verification
- database
- real time
- formal methods
- face verification
- record linkage
- signature verification
- medical images
- search algorithm
- medical records
- artificial intelligence
- neural network
- management science
- computer science education
- person identification
- verification method
- concurrent systems
- functional verification
- covering a wide range