DVD: Decentralized Verification of Diplomas in Smart Universities.
Hafida SaidiNabila LabraouiSihem BenfrihaZina HouhamdiPublished in: ACIT (2023)
Keyphrases
- cooperative
- multi agent
- model checking
- e learning
- signature verification
- higher education
- special effects
- formal verification
- artificial intelligence
- formal methods
- face verification
- database
- smart objects
- temporal logic
- ubiquitous environments
- security administration
- information flow control
- hong kong
- digital images
- search engine
- data sets
- real time