Abstract-Information gömmer är ett allmänt begrepp som hänvisar till målet att förhindra en motståndare att dra slutsatsen hemlig information från observerbara. Anonymitet och informationsflöde är exempel på detta begrepp. Vi studerar problemet med information som gömmer sig i system som kännetecknas av förekomsten av randomisering och samstämmighet. Det är välkänt att ökningen av icke-determinism, på grund av eventuella interleatings och interaktioner mellan de parallella komponenterna, kan orsaka oavsiktliga informationsläckage. Ett sätt att lösa detta problem är att fastställa schemaläggarens strategi i förväg. I detta arbete föreslår vi en mildare begränsning av schemaläggaren, och vi definierar begreppet stark (probabilistisk) information som gömmer sig under olika begrepp av observerbara. Dessutom föreslår vi en metod, baserad på begreppet automorfism, för att kontrollera att ett system uppfyller egenskaperna hos stark information som döljer sig, nämligen stark anonymitet eller ingen inblandning, beroende på sammanhanget.
Schemaläggningarna i detta dokument liknar också de tillåtliga schemaläggare av REF.
Information Hiding in Probabilistic Concurrent Systems
{'venue': 'QEST', 'journal': None, 'mag_field_of_study': ['Computer Science']}