Validation of Data Flow Results for Program Modules

Name: Validation of Data Flow Results for Program Modules
Brand: Sudwestdeutscher Verlag Fur Hochschulschriften AG
SKU: 9783838118710
Price: 106.05 EUR
Availability: InStock

Автор: Karsten Klohs

Език:

Корици: С меки корици

Издател: Sudwestdeutscher Verlag Fur Hochschulschriften AG

Наличност: Външен склад

Изпращаме след 5-8 дни

106.05 € 207.42 лв

The requirement to validate analysis results originated in Java Bytecode Verification on Smart Cards...

Информация за книгата

Автор

Karsten Klohs

Език

Английски език

Корици

Книга - С меки корици

Издадена

2010

страници

404

EAN

9783838118710

ISBN

3838118715

Enbook ID

06986483

Издател

Sudwestdeutscher Verlag Fur Hochschulschriften AG

Теглоt

590

Размери

152 x 229 x 23

Пълно описание

The requirement to validate analysis results originated in Java Bytecode Verification on Smart Cards. The generalisation of this specific application enables advanced optimisations or security checks on limited devices in a scenario where the mobile code is transmitted via an inherently insecure transport media like the Internet. This thesis presents a general approach to the validation of interprocedural data flow results for separated software modules, in order to enable the safe use of data flow results on devices which cannot afford to run the data flow analysis on their own. The idea stems from the "Proof-Carrying-Code Principle", which utilises that it is easier to check the correctness of a given solution of a problem than to solve the problem. The validation ensures the correctness of the results but the code producer can perform the complex analysis on a more powerful machine. This is vital in a mobile code scenario where different software modules can be dynamically loaded to the target device and where the potential interactions between the software modules and the runtime environment have to be considered.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Validation of Data Flow Results for Program Modules

Информация за книгата

Пълно описание

Може също да ви хареса

Gerhard Richter. Engadin

Parenting with Words of Grace

Gender Experiment: An LGBT, Transgender Romance

English Hermit; Or, the Adventures of Philip Quarll. Who Was Discovered by Mr. Dorrington, ... Adorned with Cuts, and a Map of the Island, by Bewick

Spirit life of Theodore Parker

True Confessions

New Testament Introduction

Burials Within the Metropolis, Or, the Dead Man's Question ... Letters to the Right Hon. Sir George Grey, Etc.

LEARNING AND TEACHING IN DISTANCE EDUCATION

Mathematics Form and Function

Theory of Discrimination Law

National Geographic Kids Readers: Tigers

Клиенти, които купиха тази книга, купиха също

I Love to Sleep in My Own Bed

Cuando Cristo venga

Maitrise Du Cout de Construction Dans Les Pays En Developpement

Cedrus Libani N°71, Le Sacerdoce.

Juste de l'autre côté

Digitalizzazione nel settore finanziario

Ostrov Heleny Vondráčkové