Bytekodsverifieringen är en nyckelpunkt i Javaplattformens säkerhetskedja. Det är dock en valfri funktion i många inbyggda enheter eftersom minneskraven för verifieringsprocessen är för höga. I detta dokument föreslår vi en verifieringsalgoritm som drastiskt minskar minnesanvändningen genom att utföra verifieringen under flera specialiserade pass. Algoritmen minskar utrymmet för typer kodning genom att arbeta på olika abstraktioner av domänen av typer. Experimentella resultat presenteras som visar att denna bytekodverifiering är möjlig direkt på små minnessystem.
I REF presenteras ett tillvägagångssätt som minskar användningen av minne genom att utföra verifieringen under flera specialiserade pass.
A space-aware bytecode verifier for Java Cards
{'venue': 'In Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode’2005', 'journal': None, 'mag_field_of_study': ['Computer Science']}