Automatic security assessment of critical cyber-infrastructures | IEEE Conference Publication | IEEE Xplore