Separation microkernel security studies and its formal verification related work
A separation kernel provides temporal and spatial separation among applications or partitions. This type of kernels ensure that there are no unwanted channels for information flows between partitions. XtratuM, an open source separation microkernel, is implemented based on ARINC 653 standard for safe...
| Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Final Year Project (FYP) |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
2016
|
| Konular: | |
| Online Erişim: | http://hdl.handle.net/10356/66712 |