Abstract-The security litterature offers a multiple of calculi, languages, and systems for information-flow control, var och en med någon uppsättning etiketter som kodar säkerhetsprinciper som kan kopplas till data och beräkningar. Den exakta formen av dessa etiketter varierar mycket, med olika system som erbjuder många olika kombinationer av funktioner som behandlar frågor som sekretess, integritet och politiskt ägande. Denna variation gör det svårt att jämföra den uttryckskraft som olika informationsflödesramar har. För att möjliggöra sådana jämförelser introducerar vi etikettalgebras, ett abstrakt gränssnitt för informationsflödesetiketter utrustade med ett auktoritetsbegrepp, och studerar flera begrepp om inbäddning mellan dem. Det enklaste är en enkel uppfattning om injektion mellan etikettalgebras, men detta saknar en tydlig beräkningsmotivation och avvisar några rimliga kodningar mellan etikettmodeller. Vi får ett mer förfinat konto genom att definiera ett utrymme av kodningar parameteriseras genom en tolkning av etiketter och myndigheter, vilket ger en semantisk smak till definitionen av kodning. Vi studerar teorin om semantiska kodningar och betraktar två specifika fall, en baserad på möjliga observationer av booleska värden och en baserad på beteendet hos program i en liten lambda-calculus parameteriserad över en godtycklig etikett algebra. Vi använder detta ramverk för att definiera och jämföra ett antal konkreta etikettalgebras, inklusive förverkligande av de välkända föroreningar, stöd, läsare, och misstro modeller, samt etikett algebras baserade på flera befintliga programmeringsspråk och operativsystem.
Etikett algebras REF abstrakt struktur och semantik av säkerhetspolitiken i flera DIFC-system.
A Theory of Information-Flow Labels
{'venue': '2013 IEEE 26th Computer Security Foundations Symposium', 'journal': '2013 IEEE 26th Computer Security Foundations Symposium', 'mag_field_of_study': ['Computer Science']}