DMCA
Secure information flow in a multi-threaded imperative language (1998)
Cached
Download Links
by
Geoffrey Smith
,
Dennis Volpano
Venue: | IN PROC. ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES |
Citations: | 239 - 8 self |