Language-based information-flow security

Andrei Sabelfeld, Andrew C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5-19, 2003. [doi]

Abstract

Abstract is missing.