Using access control for secure information flow in a Java-like language (2003)

by Anindya Banerjee
Venue:In Proc. 16th IEEE Computer Security Foundations Workshop
Citations:48 - 6 self