Personnaliser

OK

Aujourd'hui seulement ! 10€ offerts* dès 69€ d'achat sur tout le site avec le code : RAKUTEN10

En profiter

Java on Smart Cards: Programming and Security -

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre
Filtrer par :

80,62 €

Produit Neuf

  • Ou 20,16 € /mois

    • Livraison : 3,99 €
    • Livré entre le 21 et le 27 juillet
    Voir les modes de livraison

    M_plus_L

    PRO Vendeur favori

    4,8/5 sur + de 1 000 ventes

    Nos autres offres

    • 88,39 €

      Produit Neuf

      Ou 22,10 € /mois

      • Livraison à 0,01 €
      • Livré entre le 21 juillet et le 3 août
      Voir les modes de livraison

      Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540421672_dbm

      Voir le détail de l'annonce 
    Publicité
     
    Vous avez choisi le retrait chez le vendeur à
    • Payez directement sur Rakuten (CB, PayPal, 4xCB...)
    • Récupérez le produit directement chez le vendeur
    • Rakuten vous rembourse en cas de problème

    Gratuit et sans engagement

    Félicitations !

    Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

    En savoir plus

    Retour

    Horaires

        Note :


        Avis sur Java On Smart Cards: Programming And Security Format Broché  - Livre Informatique

        Note : 0 0 avis sur Java On Smart Cards: Programming And Security Format Broché  - Livre Informatique

        Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


        Présentation Java On Smart Cards: Programming And Security Format Broché

         - Livre Informatique

        Livre Informatique - 01/05/2001 - Broché - Langue : Anglais

        . .

      • Editeur : Springer-Verlag Gmbh
      • Langue : Anglais
      • Parution : 01/05/2001
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 176.0
      • Expédition : 262
      • ISBN : 354042167X



      • Sommaire:
        Invited Talk.- Formal Methods in Context: Security and Java Card.- Contributed Papers.- A Dynamic Logic for the Formal Verification ofJava Card Programs.- The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow.- CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security.- A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations.- Secure Internet Smartcards.- Issues in Smartcard Middleware.- Open Platfom Security.- A Simple(r) Interface Distribution Mechanism for Java Card.- Automatic Test Generation for Java Card Applets.- Formal Specification and Verification of Java Card's Application Identifier Class.- Security on Your Hand: Secure Filesystems with a Non-cryptographic JAVA-Ring....

        Détails de conformité du produit

        Consulter les détails de conformité de ce produit (

        Personne responsable dans l'UE

        )
        Le choixNeuf et occasion
        Minimum5% remboursés
        Le service clientsÀ votre écoute
        LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
        visavisa
        mastercardmastercard
        klarnaklarna
        paypalpaypal
        floafloa
        americanexpressamericanexpress
        Rakuten Logo
        • Rakuten Kobo
        • Rakuten TV
        • Rakuten Viber
        • Rakuten Viki
        • Plus de services
        • À propos de Rakuten
        Rakuten.com