On the Evaluation of Security Properties of Containerized Systems | IEEE Conference Publication | IEEE Xplore