Kontakt
Jak kupować
Dostawa
Doradca ds. zakupów
Verification formelle de la plate-forme javacard
Francuski
146 b
Nawet do 30 dni na zwrot
Klienci kupili także
/
Miękka
11.69
€
/
Miękka
47.39
€
/
Twarda
13.79
€
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.
Informacje o książce
Francuski
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanegoMogłoby Cię także zainteresować
/
Miękka
10.69
€
/
Miękka
8.79
€
Cześć! Jestem Libroamiko, Twój doradca książkowy.
Jak mogę Ci pomóc?