CyberdeceptionAtlas · Question → testES

Library / Paper

Paper

Secure-by-synthesis network with active deception and temporal logic specifications

This paper addresses the synthesis of active deception strategies in networks using two-player games with asymmetric information and temporal logic objectives, incorporating decoy systems and high-fidelity honeypots. The authors use a level-2 hypergame framework to model the attacker's incomplete perception and assess whether the defender can guarantee security properties.

DecoyHoneypotAdversary engagementNetwork

What we know

This paper addresses the synthesis of active deception strategies in networks using two-player games with asymmetric information and temporal logic objectives, incorporating decoy systems and high-fidelity honeypots. The authors use a level-2 hypergame framework to model the attacker's incomplete perception and assess whether the defender can guarantee security properties.

Evidence limits

This entry is based solely on the publicly available title and abstract; the full text has not been reviewed, and the effectiveness of the proposed methods has not been independently replicated or validated.

Reviewed: author abstract. Full-text results were not analyzed.

Sources and provenance

  1. Secure-by-synthesis network with active deception and temporal logic specifications
    abstract · 2026-10-04

Reviewed: 2026-10-04. This record may change when new evidence is found.

RIS · BibTeX