Certifierad kod är en allmän mekanism för att upprätthålla säkerhetsegenskaper. I detta paradigm bär opålitliga mobila kod anteckningar som gör det möjligt för en värd att verifiera sin pålitlighet. Innan han leder agenten kontrollerar värden anteckningarna och bevisar att de antyder värdens säkerhetspolitik. Trots flexibiliteten i detta system, hittills, kompilatorer som genererar certifierad kod har fokuserat på enkla typ säkerhetsegenskaper snarare än mer allmänna säkerhetsegenskaper. Säkerhetsautomata kan ange en uttrycklig samling av säkerhetsstrategier inklusive åtkomstkontroll och resursgränser. I den här artikeln beskriver vi hur man instrumenterar väldefinierade program med säkerhetskontroller och skriver anteckningar. De resulterande programmen följer de policyer som specificeras av säkerhetsautomaten och kan mekaniskt kontrolleras för säkerhet. Detta arbete utgör en grund för processen att automatiskt generera certifierad kod för expressiva säkerhetspolicyer.
Walker REF talade om certifierad kod för att upprätthålla säkerhetsfastigheter.
A type system for expressive security policies
{'venue': "POPL '00", 'journal': None, 'mag_field_of_study': ['Computer Science']}