Amme, W.Franz, M.2018-01-052018-01-0520032003https://dl.gi.de/handle/20.500.12116/10179Bestehende 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.Text/Journal Article1432-122X