Compositional Information-Flow Security for Interactive Systems

Willard Rafnsson, Andrei Sabelfeld. Compositional Information-Flow Security for Interactive Systems. In IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014. pages 277-292, IEEE, 2014. [doi]

Abstract

Abstract is missing.