Secure information flow and program logics (2007)

Cached

Download Links

by Lennart Beringer , Martin Hofmann
Venue:In IEEE Computer Security Foundations Symposium
Citations:12 - 6 self