Abstrakt. Språkbaserad analys av informationsflödet är lovande när det gäller att skydda datasekretessen. Även om mycket arbete har utförts på detta område, har relativt lite gjorts för samlingskoden. Källnivå tekniker inte lätt generalisera till monteringskod, eftersom monteringskoden inte lätt presentera viss abstraktion om programstrukturen som är avgörande för informationsflöde analys. Icke desto mindre är det önskvärt med en analys av informationsflödet på låg nivå, eftersom det ger en liten tillförlitlig databas. Dessutom är många (otillförlitliga) program distribueras i inhemsk kod; deras verifiering bör inte förbises. Vi presenterar en enkel men effektiv lösning på detta problem. Vår iakttagelse är att den saknade abstraktionen i samlingskoden kan återställas med hjälp av anteckningar. Efter filosofin att certifiera sammanställning, dessa annoteringar genereras av en kompilator, används för statisk validering, och raderas före utförandet. Vi föreslår i synnerhet ett typsystem för analys av informationsflödet på låg nivå. Vårt system är kompatibelt med Typed Assembly Language, och modeller nyckelfunktioner inklusive en call stack, minne tuples och förstklassiga kod pekare. En noninterference teorem artikulerar att välskrivna program respekterar sekretess.
På senare tid har REF föreslagit ett maskinskrivet monteringsspråk för sekretess och visat att det upprätthåller en icke-inblandningsegendom.
A Typed Assembly Language for Confidentiality
{'venue': 'ESOP', 'journal': None, 'mag_field_of_study': ['Computer Science']}