Abstract Security är sällan ett statiskt begrepp. Vad som anses vara konfidentiella eller opålitliga uppgifter varierar över tid beroende på ändrade händelser och tillstånd. Den statiska verifieringen av säkert informationsflöde har varit ett populärt tema i den senaste programmeringsspråkforskningen, men de policyer för informationsflöde som beaktas är baserade på säkerhet på flera nivåer som ger en statisk bild av säkerhetsnivåer. I detta dokument inför vi en mycket enkel mekanism för att specificera dynamiska informationsflödespolicyer, flödeslås, där det anges under vilka förhållanden data kan läsas av en viss aktör. Gränssnittet mellan policyn och koden är via instruktioner som öppnar och sluter flödeslås. Vi presenterar ett typ- och effektsystem för ett ML-liknande språk med referenser som möjliggör en helt statisk verifiering av flödeslåsets policyer, och bevisar att systemet uppfyller en semantisk säkerhetsfastighet som generaliserar noninterference. Vi visar att denna enkla mekanism kan representera ett antal nyligen föreslagna informationsflödesparadigm för avklassificering.
Flödeslås Broberg och Sands REF introducerar begreppet flödeslås för att specificera lokala informationsflödespolicyer.
Flow Locks -- Towards a Core Calculus for Dynamic Flow Policies
{'venue': 'IN ESOP’06: THE 15TH EUROPEAN SYMPOSIUM ON PROGRAMMING', 'journal': None, 'mag_field_of_study': ['Computer Science']}