Fulltext present in this item

Thumbnail
Fulltext: 72022.pdf
Format: PDF
Description: preprint version
Title: Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
Author(s): Lensink, Leonard ; Smetsers, Sjaak ; Eekelen, M.C.J.D. van
Publication year: 2008
In: Lecture Notes in Computer Science, (2008)Merino, P.; Leue, S. (ed.), Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 115-132
Publisher: Berlin : Springer
ISBN: 9783540797067
ISSN: 0302-9743
Annotation: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, 1 juli 2007
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/72022   http://hdl.handle.net/2066/72022

Display more details
Editor(s): Merino, P.; Leue, S.
Subject: Digital Security
Organization: Digital Security
Security of Systems
Software Science
Former Organization: Biophysics
Journal title:
Lecture Notes in Computer Science
Book title: Merino, P.; Leue, S. (ed.), Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Page start: p. 115
Page end: p. 132

This item appears in the following Collection(s)

Browse

Statistics