A Logic for Secure Stratified Systems and its Application to Containerized Systems | IEEE Conference Publication | IEEE Xplore