Logical Formalisation and Analysis of the Mifare Classic Card in PVS.

Bart Jacobs Ronny Wichers Schreur

Published in: ITP (2011)

Keyphrases

case study
formal analysis
statistical analysis
database
databases
three dimensional
data analysis
expert systems
data mining
computer vision
objective function
image analysis
mobile robot
object oriented
low cost
automatic analysis