Sichere Ausführung nicht vertrauenswürdiger Programme : Evaluation verschiedener Ansätze und Einsatz an vier Fallbeispielen
Vorwort 1. Einleitung 2. Statische vs. dynamische Analyse 3. Kriterien für den Erfolg statischer Quellcodeanalysemethoden 3.1. Theoretische Vorüberlegungen 3.2. 1. Kriterium: Verfügbarkeit des Quellcodes 3.3. 2. Kriterium: Unterstützung der Programmiersprache 3.4. 3. Kriterium: Zulassung von „ech...
Main Author: | |
---|---|
Format: | Others |
Language: | German |
Published: |
Universität Potsdam
2005
|
Subjects: | |
Online Access: | http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-33101 http://opus.kobv.de/ubp/volltexte/2009/3310/ |