Controlled Declassification based on Intransitive Noninterference
Report, 2004
Author
Heiko Mantel
David Sands
Chalmers, Department of Computing Science
Chalmers, Department of Computing Science, ProSec
Subject Categories
Computer Science
Technical report L - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 2004-06