Controlled Declassification based on Intransitive Noninterference
Rapport, 2004
Författare
Heiko Mantel
David Sands
Chalmers, Institutionen för datavetenskap
Chalmers, Institutionen för datavetenskap, ProSec
Ämneskategorier
Datavetenskap (datalogi)
Technical report L - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 2004-06