Project Details
Projekt Print View

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

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
 
 

Additional Information

Textvergrößerung und Kontrastanpassung