Journal article

Special issue on verified information flow security

Toby Murray, Andrei Sabelfeld, Lujo Bauer

Journal of Computer Security | IOS PRESS | Published : 2017