Special issue on verified information flow security
Magazine article, 2017

Author

Toby Murray

University of Melbourne

Commonwealth Scientific and Industrial Research Organisation (CSIRO)

Andrei Sabelfeld

Information Security

Lujo Bauer

Carnegie Mellon University (CMU)

Journal of Computer Security

0926-227X (ISSN)

Vol. 25 05-apr 319-321

Areas of Advance

Information and Communication Technology

Subject Categories

Software Engineering

DOI

10.3233/JCS-0559

More information

Latest update

9/21/2018