Automated Security Analysis for Microservice Architecture | IEEE Conference Publication | IEEE Xplore