end-to-end proof of implementation correctness and security enforcement. It is still the world's most highly assured OS.""
Link to Original Source
We've improved Slashdot's video section; now you can view our video interviews, product close-ups and site visits with all the usual Slashdot options to comment, share, etc. No more walled garden! It's a work in progress -- we hope you'll check it out (Learn more about the recent updates).
It is much easier to suggest solutions when you know nothing about the problem.