Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
vérification formelle de la plate-forme JavaCard
Univ Europeenne - EAN : 9786131539312
Édition papier
EAN : 9786131539312
Paru le : 4 févr. 2011
69,00 €
65,40 €
Epuisé
Pour connaître votre prix et commander, identifiez-vous
Manquant sans date
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9786131539312
- Réf. fournisseur : 4414119
- Editeur : Univ Europeenne
- Date Parution : 4 févr. 2011
- Disponibilite : Manque sans date
- Barème de remise : NS
- Nombre de pages : 216
- Format : H:220 mm L:150 mm
- Poids : 325gr
- Interdit de retour : Retour interdit
- Résumé : La vérification du bytecode est l'une des pièces maîtresses de la sécurité de l'architecture JavaCard. Sa correction est souvent formulée en utilisant les notions de machine virtuelle défensive et de machine virtuelle offensive. La machine virtuelle défensive vérifie la cohérence des données manipulées pendant l'exécution alors que la machine offensive ne fait pas de telles vérifications. La correction est ainsi établie en vérifiant que l'exécution de programmes qui ont passé avec succès la vérification de bytecode, sur les deux machines, coïncide. Dans cet ouvrage nous décrirons comment sont spécifiées de telles machines virtuelles et comment sont définis de tels énoncés de correction dans les assistants de preuve. Nous nous concentrerons en particulier sur le problème de l'automatisation de la construction de machines virtuelles offensives et de vérifieurs de bytecode à partir de machines virtuelles défensives.
- Biographie : Simão Melo de Sousa est professeur d'informatique à l'Universitéde Beira Interior (Portugal) où il enseigne dans le domaine de lala compilation, les fondements et les logiques de laprogrammation, les méthodes formelles et la sécurité.Docteur de l'INRIA Sophia-Antipolis/UNSA, il est expert enfiabilité et sécurité des systèmes informatiques.
