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

More information

Created

10/8/2017