Transparent and Tamper-Proof Event Ordering in the Internet of Things Platforms.

Mahbubur Rahman Abusayeed Saifullah

Published in: IEEE Internet Things J. (2023)

Keyphrases

event detection
theorem prover
key technologies
partial order
ubiquitous computing
physical world
event driven
mobile devices
temporal order
news stories
partial ordering
event recognition
knuth bendix
events occurring
linear logic
multi valued
news articles
virtual world
data management