Verification of a Formal Security Model for Multiapplicative Smart Cards

Erstveröffentlichung
2000
Autoren
Schellhorn, Gerhard
Reif, Wolfgang
Schairer, A.
Karger, P.
Austel, V.
et al.
Beitrag zu einer Konferenz


Erschienen 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 zur Veröffentlichung
https://dx.doi.org/10.1007/10722599_2
Konferenz
6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000., 2000-10-04 - 2000-10-06, Toulouse
Schlagwörter
[DDC Sachgruppe]: DDC 000 / Computer science, information & general works
Metadata
Zur Langanzeige