Verification of a Formal Security Model for Multiapplicative Smart Cards

Schellhorn, Gerhard; Reif, Wolfgang; Schairer, A.; Karger, P.; Austel, V.; Toll, D.

Erstveröffentlichung

2000

Authors

Schellhorn, Gerhard

Reif, Wolfgang

Schairer, A.

Karger, P.

Austel, V.

et al.

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_2

Conference

6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000., 2000-10-04 - 2000-10-06, Toulouse

Subject headings

[DDC subject group]: DDC 000 / Computer science, information & general works

Metadata

Show full item record