Formal Analysis of Security Metrics with Defensive Actions | IEEE Conference Publication | IEEE Xplore