WiP Abstract: Multiple Security Domain Nondeducibility for Point-of-Care Diagnostic Technology. - Fred Love; Bruce M. McMillin; Sivanesan Tulasidas; W. Balachandran (ICCPS, 2016)