Sammanfattning. Vi lade fram en modal logik för resonemang om säkerhet på flera nivåer i probabilistiska system. Denna logik innehåller uttryck för tid, sannolikhet och kunskap. Genom att använda Halpern-Tuttle-ramverket för att resonera om kunskap och sannolikhet ger vi en semantik för vår logik och bevisar att den är sund. Vi ger två syntaktiska definitioner av perfekt säkerhet på flera nivåer och visar att deras semantiska tolkningar är likvärdiga med tidigare, självständigt motiverade karakteriseringar. Vi diskuterar också relationen mellan dessa karakteriseringar av säkerheten och mellan deras användbarhet i säkerhetsanalysen.
Gray och Syverson REF tillämpar Halpern-Tuttle-ramen för att resonera om kvalitativ säkerhet för probabilistiska system.
A logical approach to multilevel security of probabilistic systems
{'venue': 'Distributed Computing', 'journal': 'Distributed Computing', 'mag_field_of_study': ['Computer Science']}