BigNFC: Novel Formal model for NFC based context-aware applications.

Aicha Nabet Rachid Systèmes Boudour

Published in: Informatica (Slovenia) (2021)

Keyphrases

formal model
smart phones
mobile devices
mobile phone
context aware
mobile applications
wifi
ubiquitous computing
context aware computing
context awareness
virtual communities
security properties
formal models
predicate calculus
probabilistic knowledge
security patterns