Login / Signup
Using the B Method to Formalize Access Control Mechanism with TrustZone Hardware Isolation (Short Paper).
Lu Ren
Rui Chang
Qing Yin
Wei Wang
Published in:
ISPEC (2017)
Keyphrases
</>
database
data mining
information systems
low cost