[Python-Dev] Challenge: Please break this! [Now with blog post]

[Steve Holden]

Lie Ryan wrote:
> On Mon, 23 Feb 2009 23:22:19 +0000, tav wrote:
> 
>> Steve, this isn't death by a 1,000 cuts. What's being put forward here
>> is not a specific implementation -- but rather a specific model of
>> security (the object capability model) -- which has been proven to be
>> foolproof.
> 
> Proven? Isn't it impossible to prove something like this? "Nobody ever 
> see an alien" is not a proof for "There is no alien". "Nobody have 
> thought of a way to break the model" is not a proof for "The model is 
> invincible"...
> 
Quite.

regards
 Steve
-- 
Steve Holden        +1 571 484 6266   +1 800 494 3119
Holden Web LLC              http://www.holdenweb.com/