TY - RPRT TI - A Markov Decision Process Model for Intrusion Tolerance Problems AU - Patrick Kreidl PY - 2025 UR - https://arxiv.org/abs/2509.07919 ID - 2509.07919 ER -