A Logic for Secure Stratified Systems and its Application to Containerized Systems.

Hagen Lauer, Amin Sakzad, Carsten Rudolph, Surya Nepal

Browse the full TrustCom paper archive.