GDPR Compliance Verification in Internet of Things.

Masoud Barati Omer F. Rana Ioan Petri George Theodorakopoulos

Published in: IEEE Access (2020)

Keyphrases

model checking
face verification
mobile devices
person identification
case study
concurrent systems
verification method
mobile computing
physical world
formal methods
ubiquitous computing
big data
end users
fingerprint verification
multi agent systems
website
functional verification