Zeitschriftenartikel
Effiziente Codegenerierung für mobilen Code
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Zusatzinformation
Datum
2003
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Springer-Verlag
Zusammenfassung
Bestehende Lösungen zum Transport von
mobilem Code lassen sich in drei Kategorien
aufteilen: virtuelle Maschinen, baumorientierte
Techniken und beweisübertragende Ansätze.
Wir beschreiben einen neuen, vierten Ansatz,
inhärent sichere Übertragungsformate und
stellen unser SafeTSA-Projekt vor, welches
diesen Ansatz validiert.Abstract
Existing mobile-code approaches can be classified
into one of three categories: virtual machines,
tree-based techniques, and proof-carrying
code.We introduce a new, fourth category,
inherently safe code, and give an overview of
our SafeTSA project that validates this method.