Login / Signup
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