| Author | Schellhorn, Gerhard | dc.contributor.author |
| Author | Reif, Wolfgang | dc.contributor.author |
| Author | Schairer, A. | dc.contributor.author |
| Author | Karger, P. | dc.contributor.author |
| Author | Austel, V. | dc.contributor.author |
| Author | Toll, D. | dc.contributor.author |
| Date of accession | 2020-04-03T08:51:19Z | dc.date.accessioned |
| Available in OPARU since | 2020-04-03T08:51:19Z | dc.date.available |
| Date of first publication | 2000 | dc.date.issued |
| Language | en | dc.language.iso |
| Publisher | Universität Ulm | dc.publisher |
| Dewey Decimal Group | DDC 000 / Computer science, information & general works | dc.subject.ddc |
| Title | Verification of a Formal Security Model for Multiapplicative Smart Cards | dc.title |
| Resource type | Beitrag zu einer Konferenz | dc.type |
| DCMI Type | Text | uulm.typeDCMI |
| Category | Publikationsnachweise | uulm.category |
| DOI (external) | 10.1007/10722599_2 | dc.identifier.doiExternal |
| Source - Title of source | Proceedings of the 6th European Symposium on Research in Computer Security, Toulouse, France | source.title |
| Quellenangabe - Herausgeber | Cuppens, Frédéric | source.contributor.editor1 |
| Quellenangabe - Herausgeber | Deswarte, Yves | source.contributor.editor1 |
| Quellenangabe - Herausgeber | Gollmann, Dieter | source.contributor.editor1 |
| Quellenangabe - Herausgeber | Waidner, Michael | source.contributor.editor1 |
| Source - Publisher | Berlin | source.publisherPlace |
| Source - Publisher | Heidelberg | source.publisherPlace |
| Source - Place of publication | Springer | source.publisher |
| Source - Year | 2000 | source.year |
| Source - Serial | Lecture Notes in Computer Science ; 1895 | source.series |
| Source - ISSN | 0302-9743 | source.identifier.issn |
| Source - eISSN | 1611-3349 | source.identifier.eissn |
| Source - ISBN | 978-3-540-41031-7 | source.identifier.isbn |
| Source - ISBN | 978-3-540-45299-7 | source.identifier.isbn |
| Conference name | 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000. | uulm.conferenceName |
| Conference place | Toulouse | uulm.conferencePlace |
| Conference start date | 2000-10-04 | uulm.conferenceStartDate |
| Conference end date | 2000-10-06 | uulm.conferenceEndDate |
