Possibilistic Information Flow is safe for Probabilistic Non-Interference (2000)

Cached

Download Links

by David Clark , Chris Hankin , Sebastian Hunt , Rajagopal Nagarajan
Venue:In Proc. WITS, 2000. www.doc.ic.ac.uk/ ˜clh/Papers/witscnh.ps.gz
Citations:3 - 0 self