seL4 论文

2009引用 1564
DOI
Security and Verification in ComputingParallel Computing and Optimization TechniquesDistributed systems and fault tolerance
网络安全Parallel Computing and Optimization TechniquesSecurity and Verification in ComputingDistributed systems and fault tolerance
相关技术:Parallel Computing and Optimization Techniques
关系图谱

seL4 · 作者

S

Simon Winwood

H

Harvey Tuch

T

Thomas Sewell

M

Michael Norrish

R

Rafal Kolanski

K

Kai Engelhardt

D

Dhammika Elkaduwe

P

Philip Derrin

D

David Cock

J

June Andronick

G

Gernot Heiser

K

Kevin Elphinstone

G

Gerwin Klein