Gesamt-Schlussbericht des Verbundprojektes Deutsch - CC Gmbh

Weitere Magazine

Empfehlungen

Info

[Livshits 2006] Benjamin Livshits: Improving Software Security with Precise Static and Runtime Analysis. Dissertation, Stanford University, Dezember 2006. [Mandel&Jawurek 2008] Stefan Mandel, Marek Jawurek. FLOW — Eine Datenfluss-Beschreibungssprache für objektorientierte Programme. Bericht Nr. 086.08/D, Fraunhofer IESE, Kaiserslautern 2008. [Mandel&Peine 2007] Stefan Mandel, Holger Peine: The SecFlow Source Code Security Checker: Current Problems and Solution Alternatives. 23. Annual Computer Security Application Conference (ACSAC’07), Miami, Florida, Dez. 2007. [MBEL 2008] University of Arizona: MBEL: The Microsoft Bytecode Engineering Library http://www.cs.arizona.edu/projects/mbel/ [Nicolay 2008] Joachim Nicolay: Entwicklung eines Compilerfrontends für PHP. Diplomarbeit, Fraunhofer IESE / Technische Universität Kaiserslautern, 2008. [Peine et al. 2006] H. Peine, S. Mandel, D. Richter: SecFlow: Automatische Ermittlung sicherheitskritischer Datenflüsse in Quellcode. Statuskonferenz Forschungsoffensive "Software Engineering 2006", Juni 2006. [Richter, Kienast 2008] D. Richter, J. Kienast: SecFlow: Automatische Ermittlung sicherheitskritischer Datenflüsse in Quellcode: Benutzerhandbuch, Wiesbaden, November 2008. [SecuriBench 2006] Benjamin Livshits: Stanford SecuriBench Micro. SUIF Group, Stanford University, 2006 http://suif.stanford.edu/~livshits/work/securibenchmicro/pubs.html [Storck 2008] Michael Storck: Erstellung von Codemodellen aus Bytecode. Projektarbeit, Fraunhofer IESE / Technische Universität Kaiserslautern, Juni 2008. [Wagner 2008] Andreas Wagner: Implementierung einer Werkzeugunterstützung zur Spezifikation und Visualisierung von Sicherheitsschwachstellen. Praktikumsbericht, Fraunhofer IESE / Fachhochschule Kaiserslautern, August 2008. [Whaley 2004] J. Whaley: BDD-Based Deductive Database. 2004 http://bddbddb.sourcefourge.net/ [Whaley 2005] J. Whaley: Joeq: A Virtual Machine and Compiler Infrastructure. In Science of Computer Programming Journal, 2005. http://joeq.sourceforge.net/ [Whaley 2007] John Whaley: Context-sensitive Pointer Analysis Using Binary Decision Diagrams. Dissertation, Stanford University, März 2007. Datei SecFlow_<strong>Gesamt</strong>schlussbericht_V10.odt Version 1.0 Datum 2009-02-02 Bearbeiter/in Dana Richter Seite 26 von 27
[Whaley&Lam 2004] J. Whaley, M. Lam: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation (PLDI’04), Washington, DC, USA, Juni 2004. [Whaley et al. 2005] J. Whaley, D. Avots, M. Carbin, M. S. Lam: Using Datalog with Binary Decision Diagrams for Program Analysis. In Proceedings of Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2005. Datei SecFlow_<strong>Gesamt</strong>schlussbericht_V10.odt Version 1.0 Datum 2009-02-02 Bearbeiter/in Dana Richter Seite 27 von 27
Seite 1 und 2: PH_GE_Titelseite 3.0, Master V3.0,
Seite 3 und 4: Inhaltsverzeichnis 1 Kurze Darstell
Seite 5 und 6: 1.3 Planung und Ablauf des Vorhaben
Seite 7 und 8: Entgegen der ursprünglichen Planun
Seite 9 und 10: 2 Eingehende Darstellung 2.1 Erziel
Seite 11 und 12: � einem sprachunabhängigen Werkz
Seite 13 und 14: Die Filterkomponente (Filter Compon
Seite 15 und 16: dass eine Anbindung von PHP prinzip
Seite 17 und 18: Um den in der ersten Projektphase e
Seite 19 und 20: Weiterhin wurden im Rahmen der Eval
Seite 21 und 22: verschiedener Programmiersprachen u
Seite 23 und 24: [Peine et al. 2006] H. Peine, S. Ma
Seite 25: 3 Literaturverzeichnis [Aho et al.

Gesamt-Schlussbericht des Verbundprojektes Deutsch - CC Gmbh

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?