seL4: From General Purpose to a Proof of Information Flow Enforcement | IEEE Conference Publication | IEEE Xplore

seL4: From General Purpose to a Proof of Information Flow Enforcement | IEEE Conference Publication | IEEE Xplore

翻译：