Vi anser att en kalkyl för flerpartssessioner med delegering, berikad med säkerhetsnivåer för sessionsdeltagare och data. Vi föreslår ett typsystem som garanterar både sessionssäkerhet och en form av passerkontroll. Dessutom säkerställer detta typsystem ett säkert informationsflöde, inklusive kontrollerade former av avklassificering. I synnerhet förhindras informationsläckage på grund av de särskilda kontrollkonstruktionerna av kalkylen, t.ex. sessionsöppning, urval, förgrening och delegering. Vi illustrerar användningen av vårt typsystem med ett antal exempel, som visar ett intressant samspel mellan begränsningar av säkerhetssystem och de som används i sessionstyper för att säkerställa egenskaper som kommunikationssäkerhet och sessionstrohet.
Vi planerar också att ansluta vårt tillvägagångssätt till befintliga typsystem för säkert informationsflöde och åtkomstkontroll vid flerpartssessioner REF.
Typing access control and secure information flow in sessions
{'venue': 'Inf. Comput.', 'journal': 'Inf. Comput.', 'mag_field_of_study': ['Computer Science']}