Automatic security management of smart infrastructures using attack graph and risk analysis | IEEE Conference Publication | IEEE Xplore