2023/05/10 by Pavel Naumov, Naumov, Pavel, Oliver Orejola +1
Computer Science · Social Sciences · #Access Control and Trust #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Security and Verification in Computing
paper · pdf · doi:10.48550/arxiv.2305.07035
openalex publication_date 2023/05/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
An operation is called covert if it conceals the identity of the actor; it is called clandestine if the very fact that the operation is conducted is concealed. The paper proposes a formal semantics of clandestine operations and introduces a sound and complete logical system that describes the interplay between the distributed knowledge modality and a modality capturing coalition power to conduct clandestine operations.