A Model-Based Validated Autonomic Approach to Self-Protect Computing Systems | IEEE Journals & Magazine | IEEE Xplore