{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T19:03:53Z","timestamp":1782846233567,"version":"3.54.5"},"reference-count":0,"publisher":"ECMS","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,6,23]]},"abstract":"<jats:p>This paper proposes a model-based rejuvenation approach that embeds rejuvenation strategies into a stochastic attack\u2013defense model aligned with the Cyber Kill Chain phases. It enables phase-aware reasoning to determine how system refreshes can effectively shorten attacker dwell time and reduce overall exposure. A continuous-time Markov chain (CTMC) jointly captures adversary progression and defender-triggered rejuvenation. The framework links system and service level objectives (SLO) to assess availability and security. Rejuvenation is treated as a timer optimization problem, looking for the refresh rates that satisfy SLO constraints while balancing risk reduction against refresh overhead. Grounded in the classical notion of rejuvenation as periodic return to a known-good state, the proposal demonstrates, through a numerical case study on SQL injection, that tuned timers can bound attacker opportunity windows and improve availability and security, meeting system and service SLO.<\/jats:p>","DOI":"10.7148\/2026-0704","type":"proceedings-article","created":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T18:08:43Z","timestamp":1782842923000},"page":"704-710","source":"Crossref","is-referenced-by-count":0,"title":["Enforcing system and service availability and security by rejuvenation"],"prefix":"10.7148","author":[{"given":"Maurizio","family":"Giacobbe","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco Lucio","family":"Scarpa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Salvatore","family":"Distefano","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"4144","published-online":{"date-parts":[[2026,6,23]]},"event":{"name":"40th ECMS International Conference on Modelling and Simulation"},"container-title":["ECMS 2026 Proceedings edited by Filippo Sanfilippo, Florenc Demrozi, Fabio Sgarbossa, Mohammad Poursina"],"original-title":[],"deposited":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T18:08:46Z","timestamp":1782842926000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scs-europe.net\/dlib\/2026\/ecms2026acceptedpapers\/0704_dis_ecms2026_0125.pdf"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,23]]},"references-count":0,"URL":"https:\/\/doi.org\/10.7148\/2026-0704","relation":{},"subject":[],"published":{"date-parts":[[2026,6,23]]}}}