C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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