2 papers
cs.CR2020
Secure Information Flow Connections
Chandrika Bhardwaj, Sanjiva Prasad
Denning's lattice model provided secure information flow analyses with an intuitive mathematical foundation: the lattice ordering determines permitted flows. We examine how this fr…
cs.CR2019
Only Connect, Securely
Chandrika Bhardwaj, Sanjiva Prasad
The lattice model proposed by Denning in her seminal work provided secure information flow analyses with an intuitive and uniform mathematical foundation. Different organisations,…