Comprehensive Assessment Model of Network Vulnerability Based upon Refined Mealy Automata | IEEE Conference Publication | IEEE Xplore