Vi inför en allmän ram för resonemang om sekretesskrav i multiagentsystem. Våra definitioner utvidgar tidigare definitioner av sekretess och icke-nedbrytbarhet från Shannon och Sutherland. I stort sett håller en agent hemlig med avseende på en annan agent, om den andra agenten inte kan utesluta några möjligheter för den första agentens beteende eller tillstånd. Vi visar att ramverket kan hantera sannolikhet och icke-determinism på ett rent sätt, är användbart för resonemang om asynkrona system samt synkrona system, och föreslår generaliseringar av sekretess som kan vara användbara för att hantera frågor som resursbundet resonemang. Vi visar också att ett antal välkända försök att karakterisera frånvaron av informationsflöde är speciella fall av våra definitioner av sekretess.
Halpern och O'Neill REF inför ett ramverk för resonemang om sekretesskrav i multiagentsystem.
Secrecy in Multiagent Systems
{'venue': 'TSEC', 'journal': None, 'mag_field_of_study': ['Computer Science']}