There is no fulltext present in this item.

Find Full text  
Title: Logical Formalisation and Analysis of the Mifare Classic Card in PVS
Author(s): Jacobs, B. ; Schreur, R. Wichers
Publication year: 2011
In: Eekelen, M. van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving, pp. 3-17
Publisher: Berlin / Heidelberg : Springer
ISBN: 9783642228629
Series: Lecture Notes in Computer Science ; 6898
DOI: http://dx.doi.org/10.1007/978-3-642-22863-6_3
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
Editor(s): Eekelen, M. van; Geuvers, H.; Schmaltz, J.; Wiedijk, F.
Subject: Digital Security
Organization: Security of Systems
Digital Security
Book title: Eekelen, M. van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving
Page start: p. 3
Page end: p. 17

This item appears in the following Collection(s)

Browse

Statistics