X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
Medientyp
Sprache
Region
Bibliothek
Erscheinungszeitraum
Person/Organisation
Fachgebiete(RVK)
Schlagwörter
Zugriff
  • 1
    Online-Ressource
    Online-Ressource
    Smart Card Programming and Security : International Conference on Research in Smart Cards, E-smart 2001 Cannes, France, September 19–21, 2001 Proceedings (2001)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Dazugehörige Titel
    Details
    UID:
    almahu_9947920531502882
    Umfang: VIII, 260 p. , online resource.
    ISBN: 9783540454182
    Serie: Lecture Notes in Computer Science, 2140
    Anmerkung: Invited Talk -- Protecting Consumer Security Devices -- Contributed Papers -- Jakarta: A Toolset for Reasoning about JavaCard -- Mechanising a Protocol for Smart Cards -- JCCM: Flexible Certificates for smartcards with Java Card -- Context Inference for Static Analysis of Java Card Object Sharing -- Automated Test and Oracle Generation for Smart-Card Applications -- An Internet Authorization Scheme Using Smart-Card-Based Security Kernels -- Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP/MOM Approach in the Context of Java Cards -- An Operational Semantics of the Java Card Firewall -- CardS4: Modal Theorem Proving on Java Smartcards -- iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric -- SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs -- On-Card Bytecode Verification for Java Card -- Towards a Full Formal Specification of the JavaCard API -- Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices-Existing Solutions for the Payment Sector -- A Flexible Invocation Framework for Java Card -- ElectroMagnetic Analysis (EMA): Measures and Counter-measures for Smart Cards -- Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm -- Use of Biometrics for User Verification in Electronic Signature Smartcards -- Programming Internet Smartcard with XML Scripts -- Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540426103
    Sprache: Englisch
    DOI: 10.1007/3-540-45418-7
    URL: http://dx.doi.org/10.1007/3-540-45418-7
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 2
    Online-Ressource
    Online-Ressource
    Smart Card Programming and Security : International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings (2001)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Dazugehörige Titel
    Details
    UID:
    almahu_9948621139402882
    Umfang: VIII, 260 p. , online resource.
    Ausgabe: 1st ed. 2001.
    ISBN: 9783540454182
    Serie: Lecture Notes in Computer Science, 2140
    Anmerkung: Invited Talk -- Protecting Consumer Security Devices -- Contributed Papers -- Jakarta: A Toolset for Reasoning about JavaCard -- Mechanising a Protocol for Smart Cards -- JCCM: Flexible Certificates for smartcards with Java Card -- Context Inference for Static Analysis of Java Card Object Sharing -- Automated Test and Oracle Generation for Smart-Card Applications -- An Internet Authorization Scheme Using Smart-Card-Based Security Kernels -- Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP/MOM Approach in the Context of Java Cards -- An Operational Semantics of the Java Card Firewall -- CardS4: Modal Theorem Proving on Java Smartcards -- iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric -- SIMspeak - Towards an Open and Secure Application Platform for GSM SIMs -- On-Card Bytecode Verification for Java Card -- Towards a Full Formal Specification of the JavaCard API -- Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices-Existing Solutions for the Payment Sector -- A Flexible Invocation Framework for Java Card -- ElectroMagnetic Analysis (EMA): Measures and Counter-measures for Smart Cards -- Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm -- Use of Biometrics for User Verification in Electronic Signature Smartcards -- Programming Internet Smartcard with XML Scripts -- Public-Key-Based High-Speed Payment (Electronic Money) System Using Contact-Less Smart Cards.
    In: Springer Nature eBook
    Weitere Ausg.: Printed edition: ISBN 9783662164990
    Weitere Ausg.: Printed edition: ISBN 9783540426103
    Sprache: Englisch
    DOI: 10.1007/3-540-45418-7
    URL: https://doi.org/10.1007/3-540-45418-7
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 3
    Online-Ressource
    Online-Ressource
    Smart Card Programming and Security : International Conference on Research in Smart Cards, E-smart 2001 Cannes, France, September 19-21, 2001 Proceedings (2001)
    Berlin : Springer
    Details
    UID:
    gbv_744957087
    Umfang: Online-Ressource (VIII, 260 p) , digital
    Ausgabe: Reproduktion Springer eBook Collection. Computer Science
    ISBN: 9783540454182 , 3540426108
    Serie: Lecture Notes in Computer Science 2140
    Inhalt: This book constitutes the refereed proceedings of the Second International Conference on Research in Smart Cards, E-smart 2001, held in Cannes, France, in September 2001. The 20 revised full papers presented were carefully reviewed and selected from 38 submissions. Among the topics addressed are biometrics, cryptography and electronic signatures on smart card security, formal methods for smart card evaluation and certification, architectures for multi-applications and secure open platforms, and middleware for smart cards and novel applications of smart cards
    Anmerkung: Literaturangaben
    Weitere Ausg.: ISBN 9783540426103
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783662164990
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783540426103
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    ST 175
    Schlagwort(e): Chipkarte ; Datensicherung ; Chipkarte ; Java ; Applet ; Chipkarte ; Programmierung ; Konferenzschrift
    DOI: 10.1007/3-540-45418-7
    URL: lizenzpflichtig
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext
    URL: Inhaltstext
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Online Zugang
    Open Access Wunsch
    UB Potsdam
Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.
Meinten Sie 9783540054184?
Meinten Sie 9783540074182?
Meinten Sie 9783540058182?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz