WiP Abstract: Multiple Security Domain Nondeducibility for Point-of-Care Diagnostic Technology | IEEE Conference Publication | IEEE Xplore