A Model-based Time-to-Compromise Estimator to Assess the Security Posture of Vulnerable Networks | IEEE Conference Publication | IEEE Xplore