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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=142546182&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 142546182 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Apr2020 vid: 63 iid: 4 pid: 68 pub: Association for Computing Machinery artinfo: ui: 142546182 10.1145/3378426 ppf: 72 ppct: 4 formats: tig: atl: seL4 in Australia: From Research to Real-World Trustworthy Systems. aug: au: HEISER, GERNOT KLEIN, GERWIN ANDRONICK, JUNE affil: UNSW SYDNEY. su: Computer operating systems Computer software Australia sug: subj: Australia Computer operating systems Computer software ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2020 holdings: @attributes: islocal: N |
|---|