@misc {IOPORT.70576174,
    author       = {Jacobs, Bart and Schreur, Ronny Wichers},
    title        = {Logical formalisation and analysis of the mifare classic card in PVS},
    howpublished = {ITP, 3-17 (2011).},
    year         = {2011},
    doi          = {10.1007/978-3-642-22863-6_3},
    identifier   = {70576174},
}