A Per Model of Secure Information Flow in Sequential Programs

Publisher Website

1 January 2001

journal article
Published by Springer Nature in Higher-Order and Symbolic Computation

Vol. 14 (1), 59-91
https://doi.org/10.1023/a:1011553200337

Abstract

No abstract available

Keywords

Cited by 119 articles