Automated Security Management - Ehab Al-Shaer, Xinming Ou, Geoffrey Xie (Springer)