Transparent and Tamper-Proof Event Ordering in the Internet of Things Platforms.
Mahbubur RahmanAbusayeed SaifullahPublished in: CoRR (2022)
Keyphrases
- event detection
- mobile devices
- temporal order
- event driven
- partial order
- key technologies
- neural network
- knuth bendix
- computing platform
- physical world
- theorem proving
- theorem prover
- big data
- cloud computing
- data sets
- image compression
- supply chain
- event recognition
- digital watermarking
- rows and columns
- image authentication
- social media
- complete axiomatization