Verification of a Formal Security Model for Multiapplicative Smart Cards

Erstveröffentlichung
2000Authors
Schellhorn, Gerhard
Reif, Wolfgang
Schairer, A.
Karger, P.
Austel, V.
Beitrag zu einer Konferenz
Published in
Proceedings of the 6th European Symposium on Research in Computer Security, Toulouse, France / Cuppens, Frédéric ; Deswarte, Yves ; Gollmann, Dieter ; Waidner, Michael (Hrsg.). - Berlin ; Heidelberg : Springer, 2000. - (Lecture Notes in Computer Science ; 1895). - ISBN 978-3-540-41031-7, ISBN 978-3-540-45299-7. - ISSN 0302-9743. - eISSN 1611-3349
Link to publication
https://dx.doi.org/10.1007/10722599_2Conference
6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000., 2000-10-04 - 2000-10-06, Toulouse