1
0
0
(1 - 17 von 17
)
SCEAShttp://sceas.csd.auth.gr › search
sceas.csd.auth.gr
Dominik Haneberg, Wolfgang Reif, Kurt Stenzel A Method for Secure Smartcard Applications. · (0, 0)][DBLP] AMAST, 2002, pp: [Conf] ; Holger Grandy, Dominik ... › search
Electronic Ticketing : a Smartcard Application Case-study - Dominik ...
books.google.de
Electronic Ticketing : a Smartcard Application Case-study. Front Cover. Dominik Haneberg. Universität Augsburg, › about
OPUS 4 | Electronic ticketing : a smartcard application case-study
opus.bibliothek.uni-augsburg.de
The electronic ticketing was developed within the scope of the Go!Card project. It is used as a test object for the techniques for the development of secure...
Verifying Smart Card Applications: An ASM Approach | SpringerLink
link.springer.com
Dominik Haneberg, Holger Grandy, Wolfgang Reif, and Gerhard Schellhorn. Lehrstuhl für Softwaretechnik und Programmiersprachen. Institut für Informatik ...
Sicherheit von Smart Card-Anwendungen buch von Dominik Haneberg -...
sites.google.com
Sicherheit von Smart Card-Anwendungen buch von Dominik Haneberg.
Buchbeschreibung: Dominik Haneberg : Sicherheit von Smart...
www.logos-verlag.de
Logos Verlag Berlin, Dominik Haneberg Sicherheit von Smart Card-Anwendungen
Book Description: Dominik Haneberg : Sicherheit von Smart Card ...
www.logos-verlag.de
› cgi-bin › engbuchmid
Sicherheit von Smart Card-Anwendungen - Buch | nimblee
de.nimblee.com
Informieren und günstig kaufen: Sicherheit von Smart Card-Anwendungen
CiteSeerX — Dissertation zur Erlangung des Grades eines
citeseerx.ist.psu.edu
[www.informatik.uni-augsburg.de] · [www.gbv.de] ... by Smart Card-anwendungen , Vorgelegt Von , Dominik Haneberg ... and Vorgelegt Von and Dominik Haneberg and Amtierender Dekan and Prof Dr and ... Reidel - Gabbay, F
Sicherheit von Smart-Card-Anwendungen | Semantic Scholar
www.semanticscholar.org
Dominik Haneberg, H. Grandy, W. Reif, G. Schellhorn. Computer Science. IFM TLDR. The main part of this article describes the structure of the ... › ...
Logos Verlag Berlin: Katalog
www.logos-verlag.com
Wissensbasierte Modellierung von Klassifikatoren für Zeit-Frequenz-Muster in PCM-Daten (2007). Dominik Haneberg Sicherheit von Smart Card- Anwendungen ...
Lecture Notes in Computer Science
ftp.math.utah.edu
... Berg Specifying and Verifying a Decimal Representation in Java for Smart Cards 304 Dominik Haneberg and Wolfgang Reif and Kurt Stenzel ...
Universität Augsburg Verifying Smart Card Applications : An ASM...
www.semanticscholar.org
Dominik Haneberg, Holger Grandy, +1 author Gerhard Schellhorn. We present a formal model for security protocols of smart card applications using Abstract ...
Sicherheit von Smart-Card-Anwendungen | Semantic Scholar
www.semanticscholar.org
State Machine Unified Modeling Language
CiteSeerX — electronic Ticketing - A Smartcard Application Case-Study
citeseerx.ist.psu.edu
author = {Dominik Haneberg and Copyright C Dominik Haneberg and A Smartcard}, title = {electronic Ticketing - A Smartcard Application Case-Study},
Alle Infos zum Namen "Dominik Haneberg"
sortiert nach Relevanz / Datum