Shhh! The Logic of Clandestine Operations
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.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Development of Multistage Machine Learning Classifier using Decision Trees and Boosting Algorithms over Darknet Network Traffic
In recent years, the clandestine nature of darknet activities has presented an escalating challenge to cybersecurity efforts, necessitating sophisticated methods for the detection and classification of network traffic as…
Ensemble Learningfeature selectionTraffic ClassificationTeethGenerator: A two-stage framework for paired pre- and post-orthodontic 3D dental data generation
Digital orthodontics represents a prominent and critical application of computer vision technology in the medical field. So far, the labor-intensive process of collecting clinical data, particularly in acquiring paired 3…
Re-thinking Data Availablity Attacks Against Deep Neural Networks
The unauthorized use of personal data for commercial purposes and the clandestine acquisition of private data for training machine learning models continue to raise concerns. In response to these issues, researchers have…
Towards Ethical Content-Based Detection of Online Influence Campaigns
The detection of clandestine efforts to influence users in online communities is a challenging problem with significant active development. We demonstrate that features derived from the text of user comments are useful f…
Language IdentificationNative Language IdentificationSentenceVisualization of Clandestine Labs from Seizure Reports: Thematic Mapping and Data Mining Research Directions
The problem of spatiotemporal event visualization based on reports entails subtasks ranging from named entity recognition to relationship extraction and mapping of events. We present an approach to event extraction that …
Dynamic Topic ModelingEvent ExtractionInformation Retrievalnamed-entity-recognition+4