Gesamt-Schlussbericht des Verbundprojektes Deutsch - CC Gmbh

[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_Gesamtschlussbericht_V10.odt
Version
1.0
Datum
2009-02-02
Bearbeiter/in
Dana Richter
Seite
26 von 27