Special issue on verified information flow security
Review article, 2017
Author
Toby Murray
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
University of Melbourne
Andrei Sabelfeld
Information Security
Lujo Bauer
Carnegie Mellon University (CMU)
Journal of Computer Security
0926-227X (ISSN)
Vol. 25 05-apr 319-321Areas of Advance
Information and Communication Technology
Subject Categories
Software Engineering
DOI
10.3233/JCS-0559