(Informatik-Spektrum: Vol. 26, No. 4, 2003) Amme, W.; Franz, M.
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.