Login / Signup

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base.

Narjes JomaaPaolo TorriniDavid NowakGilles GrimaudSamuel Hym
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2018)
Keyphrases
  • trusted computing
  • database
  • conceptual framework
  • computer security