Login / Signup
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base.
Narjes Jomaa
Paolo Torrini
David Nowak
Gilles Grimaud
Samuel Hym
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2018)
Keyphrases
</>
trusted computing
database
conceptual framework
computer security