Parametric information flow control in ehealth
C Bhardwaj, S Prasad - … on E-health Networking, Application & …, 2015 - ieeexplore.ieee.org
We study the problem of enforcing information flow control (IFC) in ehealth systems to verify
secure flow of information through programs. IFC mechanisms allow users to control the …
secure flow of information through programs. IFC mechanisms allow users to control the …
Pravah: Parameterised information flow control in e-health
C Bhardwaj, S Prasad - Scalable Computing: Practice and Experience, 2016 - scpe.org
We study the problem of enforcing information flow control (IFC) in eHealth systems. IFC
mechanisms allow users to control the release and propagation of sensitive information so …
mechanisms allow users to control the release and propagation of sensitive information so …