MENÜ MENÜ
  • Sie verwenden einen veralteten Webbrowser, weshalb es zu Problemen mit der Darstellung kommen kann. Bei Problemen mit der Bestellabgabe können Sie gerne auch telefonisch bestellen unter: 01805 565554 (0,14€/min, mobil max.0,42€/min)

Validation of Data Flow Results for Program Modules

Klohs:Validation of Data Flow Results f
Autor: Karsten Klohs
Verfügbarkeit: Auf Lager.
Artikelnummer: 674329
ISBN / EAN: 9783838118710

Verfügbarkeit: sofort lieferbar

115,90
Inkl. MwSt. , zzgl. Versandkosten

Produktbeschreibung

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.

Zusatzinformation

Autor Verlag Südwestdeutscher Verlag für Hochschulschriften
ISBN / EAN 9783838118710 Bindung Taschenbuch

Sie könnten auch an folgenden Produkten interessiert sein

Titelliste

0 Kundenmeinungen

Bitte schreiben Sie uns Ihre Meinung zu: Validation of Data Flow Results for Program Modules

  • Wenn Sie dieses Eingabefeld sehen sollten, lassen Sie es leer!