Vi anser att problemet med att definiera en lämplig uppfattning om icke-inblandning (NI) för deterministiska interaktiva program. Tidigare arbete om säkerheten i interaktiva program av O'Neill, Clarkson och Chong (CSFW 2006) bygger på tidigare idéer på grund av Wittbold och Johnson (Symposium om säkerhet och integritet 1990), och argumenterar för en uppfattning om NI definieras i termer av strategier modellering av användarnas beteende. Vi visar att det för deterministiska interaktiva program inte är nödvändigt att överväga strategier och att det räcker med en enkel strömmodell av användarnas beteende. Det viktigaste tekniska resultatet är att för deterministiska program, stream-baserade NI innebär den till synes mer allmänna strategibaserade NI (i själva verket anser vi en bredare klass av strategier än de av O'Neill et al). Vi ger våra resultat i termer av en enkel uppfattning om Input-Output Labelled Transition System, vilket gör det möjligt att tillämpa resultaten på en stor klass av deterministiska interaktiva programmeringsspråk.
Clark och Hunt REF, efter O'Neill et al., undersöka en hierarki av strategier.
Non-Interference for Deterministic Interactive Programs
{'venue': 'Formal Aspects in Security and Trust', 'journal': None, 'mag_field_of_study': ['Computer Science']}