Flow-sensitive semantics for dynamic information flow policies

Niklas Broberg, David Sands. Flow-sensitive semantics for dynamic information flow policies. In Stephen Chong, David A. Naumann, editors, Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009. pages 101-112, ACM, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.