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