![](/img/cover-not-exists.png)
[IEEE 20th IEEE Computer Security Foundations Symposium (CSF'07) - Venice, Italy (2007.07.6-2007.07.8)] 20th IEEE Computer Security Foundations Symposium (CSF'07) - A Library for Secure Multi-threaded Information Flow in Haskell
Tsai, Ta-chung, Russo, Alejandro, Hughes, JohnYear:
2007
Language:
english
DOI:
10.1109/csf.2007.6
File:
PDF, 226 KB
english, 2007