Konstruktion und Evaluierung von inhärent sicherem Bytecode zur Ausführung von mobilen Applikationen

• Applicant: Professor Dr. Wolfram Amme
• Subject Area: Software Engineering and Programming Languages
• Term: from 2006 to 2009
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 25842453

Java-Bytecode ist gegenwärtig das am weitesten verbreitete Zwischencodeformat für mobilen Code und findet seine Anwendung heute vermehrt in Kleingeräten wie Handys, PDAs, JavaCards oder eingebetteten Systemen. Trotz seiner weiten Verbreitung ist Java-Bytecode weit davon entfernt, eine optimale Zwischencoderepräsentation für mobilen Code zu sein. Dies liegt insbesondere an der kostenintensiven Verifikationsphase, deren Durchführung zur sicheren Ausführung von Programmen notwendig ist. Auf eingeschränkten Systemen führt eine oftmals notwendige interpretative Abarbeitung des Programms zusätzlich zu nicht akzeptablen Programmausführungszeiten. Gegenstand des Forschungsprojektes ist die Entwicklung und Konzeptionierung von typsepariertem Bytecode, mit dem die für stackmaschinenbasierte Zwischencoderepräsentationen beobachtbaren Unzulänglichkeiten im Verifikationsprozess und Laufzeitverhalten abgestellt werden können. Die Verwendung von typsepariertem Bytecode als Zwischencoderepräsentation lässt ein zu übertragendes Programm durch Konstruktion inhärent sicher werden und bietet zudem die Möglichkeit, Programmannotationen in Form von einfach verifizierbaren Typerweiterungen auszudrücken.

• DFG Programme: Research Grants
• Participating Person: Professor Dr. Wilhelm Rossak