On the expressiveness and semantics of information flow types

Vineet Rajani, Deepak Garg
January 2020
Cite DOI URL
Type
Journal article
Publication
J. Comput. Secur.