Using the B Method to Formalize Access Control Mechanism with TrustZone Hardware Isolation (Short Paper).

Lu Ren, Rui Chang, Qing Yin, Wei Wang

Browse the full ISPEC paper archive.