Logical Formalisation and Analysis of the Mifare Classic Card in PVS

Find Full text
Publication year
2011
Author(s)
Jacobs, B.
Schreur, R. Wichers
Publisher
Berlin / Heidelberg : Springer
Series
Lecture Notes in Computer Science ; 6898
ISBN
9783642228629
In
Eekelen, M. van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving, pp. 3-17
DOI
Publication type
Part of book or chapter of book
Please use this identifier to cite or link to this item:http://hdl.handle.net/2066/92012   http://hdl.handle.net/2066/92012
Display more details

Upload full text

Use your RU credentials (u/z-number and password) tolog in with SURFconextto upload a file for processing by the repository team.