[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable
From: |
Bas Wijnen |
Subject: |
Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?// SAS |
Date: |
Thu, 11 May 2006 23:27:48 +0200 |
User-agent: |
Mutt/1.5.11+cvs20060403 |
On Thu, May 11, 2006 at 04:44:40PM -0400, Jonathan S. Shapiro wrote:
> I approve of safe programming languages (which doesn't necessarily
> require a JVM). I just think that they aren't a complete solution by
> themselves.
In particular, safe languages will not generate code which shares things which
should not be shared. However, they cannot guarantee that there are no bugs
in the code. And if some cracker takes over the program through such a bug,
you cannot assume that he will just use the same limits on the code that the
compiler would use. In fact you can be pretty sure he won't. And without
hardware protection, that means any bug compromises the whole machine. I
wouldn't call that secure...
Yes, these things can be enforced with a virtual machine. But I don't
actually see why a virtual machine would be better than a real machine,
considering the performance penalty a virtual machine gives. I have no
numbers, but I don't think it's comparable to the performance you lose because
you can't share more flexible than per page.
Thanks,
Bas
--
I encourage people to send encrypted e-mail (see http://www.gnupg.org).
If you have problems reading my e-mail, use a better reader.
Please send the central message of e-mails as plain text
in the message body, not as HTML and definitely not as MS Word.
Please do not use the MS Word format for attachments either.
For more information, see http://129.125.47.90/e-mail.html
signature.asc
Description: Digital signature
- Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?, (continued)
- Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?, Marcus Brinkmann, 2006/05/11
- OT: protection in SASOS, Tom Bachmann, 2006/05/11
- Re: OT: protection in SASOS, Jonathan S. Shapiro, 2006/05/11
- Re: OT: protection in SASOS, Espen Skoglund, 2006/05/11
- Re: OT: protection in SASOS, Jonathan S. Shapiro, 2006/05/11
- Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?, Jonathan S. Shapiro, 2006/05/11
- Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?// SAS, Niklas Klügel, 2006/05/11
- Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?// SAS, Jonathan S. Shapiro, 2006/05/11
- Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?// SAS, Niklas Klügel, 2006/05/11
- Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?// SAS, Jonathan S. Shapiro, 2006/05/11
- Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?// SAS,
Bas Wijnen <=
- Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?// SAS, Jonathan S. Shapiro, 2006/05/11
- Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?, Ludovic Courtès, 2006/05/18
Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?, Marco Gerards, 2006/05/11