3 ms·
Is there no room for middle ground between "information theoretic formal proof" and "open the floodgates"? I don't run any MLS systems, so is my fate to just gi
by infogulch 5y ago
Is there no room for middle ground between "information theoretic formal proof" and "open the floodgates"? I don't run any MLS systems, so is my fate to just give up, drop my pants and take it?
- formerly_proven 5y agoThere is, you can for example use Qubes OS. That's pretty ergonomic and you get a reasonable amount of separation between stuff.