Secure information flow in a multi-threaded imperative language (1998)

by Geoffrey Smith , Dennis Volpano
Venue:IN PROC. ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:201 - 8 self