расширенный поиск

Книга по требованию: Verification Formelle de La Plate-Forme Javacard

Товар № 11618050
Вес: 0.35 кг.
Год издания: 2011
Страниц: 216 Переплет: мягкая обложка
Товар отсутствует
Узнать о поступлении

La verification du bytecode est l'une des pieces maitresses de la securite de l'architecture JavaCard. Sa correction est souvent formulee en utilisant les notions de machine virtuelle defensive et de machine virtuelle offensive. La machine virtuelle defensive verifie la coherence des donnees manipulees pendant l'execution alors que la machine offensive ne fait pas de telles verifications. La correction est ainsi etablie en verifiant que l'execution de programmes qui ont passe avec succes la verification de bytecode, sur les deux machines, coincide. Dans cet ouvrage nous decrirons comment sont specifiees de telles machines virtuelles et comment sont definis de tels enonces de correction dans les assistants de preuve. Nous nous concentrerons en particulier sur le probleme de l'automatisation de la construction de machines virtuelles offensives et de verifieurs de bytecode a partir de machines virtuelles defensives.

Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand компанией ООО «Книга по Требованию». Print-on-Demand - это технология печати книг по Вашему заказу на цифровом типографском оборудовании. Книга, произведенная по технологии Print-on-Demand (POD) представляет собой классическую печатную книгу с соблюдением всех стандартов качества, от офсетной бумаги и плотного картона до качественного клея, используемого при изготовлении. Черно-белая текстовая или полноцветная иллюстрированная книга (в зависимости от исходного файла, подготовленного к печати) может быть изготовлена в разных вариантах: - в мягкой обложке (Клеевое Бесшвейное Скрепление); - скрепление скобой (для книг с небольшим количеством страниц); - в твердом переплете с клееным текстовым блоком; Материалы, используемые при производстве книги: - бумага текстового блока - офсетная (белая или кремовая) 80 г/м2 - мягкая обложка - бумага мелованная 250 г/м2; - ламинация обложки - матовая или глянцевая; - твердый переплет - картон 2 мм, каптал, белые форзацы, прямой корешок - сверхпрочный полимерный клей; - каждая книга упакована в термопленку. Каждый заказ обрабатывается в индивидуальном порядке: каждой книге, напечатанной по технологии Print-on-Demand, присваивается уникальный номер.

Читать далее