Effiziente Codegenerierung für mobilen Code
| dc.contributor.author | Amme, W. | |
| dc.contributor.author | Franz, M. | |
| dc.date.accessioned | 2018-01-05T20:00:28Z | |
| dc.date.available | 2018-01-05T20:00:28Z | |
| dc.date.issued | 2003 | |
| dc.description.abstract | 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. | |
| dc.identifier.pissn | 1432-122X | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/10179 | |
| dc.publisher | Springer-Verlag | |
| dc.relation.ispartof | Informatik-Spektrum: Vol. 26, No. 4 | |
| dc.relation.ispartofseries | Informatik-Spektrum | |
| dc.title | Effiziente Codegenerierung für mobilen Code | |
| dc.type | Text/Journal Article | |
| gi.citation.endPage | 246 | |
| gi.citation.publisherPlace | Berlin Heidelberg | |
| gi.citation.startPage | 237 |