Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri. Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. Fundamenta Informaticae, 60(1-4):81-98, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.