Abuse Melding

Je hebt een klacht over de onderstaande posting:

06-10-2014, 08:30 door N4ppy

Door ej__: Het begint bij een formeel bewezen OS zoals http://sel4.systems/ If I run seL4, is my system secure? Not automatically, no. Security is a question that spans the whole system, including its human parts. An OS kernel, verified or not, does not automatically make a system secure. In fact, any system, no matter how secure, can be used in insecure ways. However, if used correctly, seL4 provides the system architect and user with strong mechanisms to implement security policies, backed by specific security theorems. under certain assumptions. The brief version is: we assume that in-kernel assembly code is correct, hardware behaves correctly, in-kernel hardware management (TLB and caches) is correct, and boot code is correct. The hardware model assumes DMA to be off or to be trusted. http://sel4.systems/FAQ/proof.pml Als als als ;)

Beschrijf je klacht (Optioneel):

captcha