Applying the SecRAM Methodology in a CLOUD-Based ATM Environment | IEEE Conference Publication | IEEE Xplore