On 3/27/06, Pavel Kankovsky <peak_at_argo.troja.mff.cuni.cz> wrote:
> On Sat, 25 Mar 2006, Dinis Cruz wrote:
> Are .Net, Mono, or Java themselves 100% managed and verifiable code?
> Can you create a secure environment when it is, using your own words,
> "impossible to create bug/vulnerability free code"? I know there have been
> vulns in the JRE making it possible to break out of the sandbox and
> similar vulns in the other environments would not suprise me.
It's worth distinguishing between the problems posed by mobile code
and the problems posed by ancient programming languages that don't
have bounds checking built-in.
If I run a pure-java browser, for example, no web site's HTML code is
going to cause a buffer overflow in the parser. You'll see a nasty
"array index out of bounds" exception, but the stack doesn't get
smashed and there is no execution of arbitrary code. That's managed
code.
OTOH, an applet downloaded from that web site might break the JRE,
causing a buffer overflow. If I were running this hypothetical
pure-java browser, I'd still be relucant to enable applets because I
don't trust the applets and I don't trust the JRE byte-code verifier
to validate the applet. That's mobile code.
Regards,
Brian
-------------------------------------------------------------------------
This List Sponsored by: SpiDynamics
ALERT: "How A Hacker Launches A Web Application Attack!"
Step-by-Step - SPI Dynamics White Paper
Learn how to defend against Web Application Attacks with real-world
examples of recent hacking methods such as: SQL Injection, Cross Site
Scripting and Parameter Manipulation
https://download.spidynamics.com/1/ad/web.asp?Campaign_ID=701300000003gRl
--------------------------------------------------------------------------
Received on Mar 27 2006
Intro
