Special issue on verified information flow security
Artikel i övrig tidskrift, 2017
Författare
Toby Murray
Commonwealth Scientific and Industrial Research Organization
University of Melbourne
Andrei Sabelfeld
Informationssäkerhet
Lujo Bauer
Carnegie Mellon University
Journal of Computer Security
0926-227X (ISSN)
Vol. 25 05-apr 319-321Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier (SSIF 2011)
Programvaruteknik
DOI
10.3233/JCS-0559