seL4 in Australia: From Research to Real-World Trustworthy Systems.
The article discusses the development and function of the computer software seL4 microkernal in Australia, and describes computer security and computer architecture, the evolution of the kernal, and the establishment of an sel4 Foundation.
| Publicado en: | Communications of the ACM Vol. 63; no. 4; pp. 72 - 76 |
|---|---|
| Autores principales: | , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Apr2020
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | The article discusses the development and function of the computer software seL4 microkernal in Australia, and describes computer security and computer architecture, the evolution of the kernal, and the establishment of an sel4 Foundation. |
|---|