AxoDen-K: A Deterministic Architecture for Safety-Critical Cyber Defense
Erkan YALÇINKAYA · Zenodo (CERN European Organization for Nuclear Research) · 2025
This work introduces AxoDen-K, a deterministic security architecture that formalises ransomware and high-velocity cyber threats as bounded-information control problems rather than probabilistic detection tasks. The framework addresses the fundamental actuation latency gap inherent in contemporary security systems, where inference-driven responses operate too slowly to prevent irreversible state loss under disk-speed attacks. AxoDen-K defines a compositional state-space model that integrates thermodynamic, epistemic, and structural constraints to enforce safety invariants at machine speed. By treating entropy accumulation, behavioural drift, and architectural coupling as first-class system properties, the architecture enables formally bounded containment, verifiable recovery, and preservation of human agency under adversarial conditions. The contribution of this work is architectural and theoretical rather than algorithmic. It provides a foundation for certifiable security enforcement in velocity-dominated environments, independent of malware signatures, behavioural classification, or model accuracy. The framework is designed to support formal verification, deterministic worst-case execution bounds, and multi-root trust assumptions suitable for safety-critical and regulated domains. This manuscript is released under restricted access and omits implementation-specific parameters, thresholds, and deployment artefacts.