Secure information flow and program logics (2007)

View PDF

Download Links

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