Formal Analysis of the Estonian Mobile-ID Protocol.

Peeter Laud Meelis Roos

Published in: NordSec (2009)

Keyphrases

formal analysis
ban logic
mobile devices
formal methods
payment protocol
context aware
mobile learning
mobile phone
mobile applications
mobile computing
agent model
mobile commerce
artificial intelligence
cost effective
mobile users
mobile networks
mobile services
delay tolerant
mobile nodes