Type systems for information flow control: the question of granularity
Artikel i övrig tidskrift, 2017
Författare
Vineet Rajani
Max Planck Institute for Software Systems
Iulia Bastys
Max Planck Institute for Software Systems
Informationssäkerhet
Willard Thor Rafnsson
Max Planck Institute for Software Systems
Programvaruteknik
Deepak Garg
Carnegie Mellon University (CMU)
Max Planck Institute for Software Systems
ACM SIGLOG News
2372-3491 (ISSN)
Vol. 4 1 6-21Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1145/3051528.3051531