Re: [SC-L] bumper sticker slogan for secure software

2006-07-19 Thread Andrew van der Stock

Actually, it is a myth.

For every non-trivial system, there are business pressures on  
resourcing, deadlines, and acceptable quality (pick any two). Once a  
business has set their taste for risk, it makes no sense to spend say  
$10m on security controls on a product and delay it for six months  
which may only bring in $2m in revenue in total, or none at all if  
the company runs out of money to bring it to market.


At the moment, most companies neither accept or assign the risk,  
enumerate the risk correctly, nor take adequate steps to eliminate as  
much risk as possible. We need to improve all three aspects. Even in  
a perfect world, there will still be bugs and security defects. Let's  
make sure that the remaining ones are really hard to exploit, and  
when the exploit happens, not much loss occurs.


thanks,
Andrew

On 19/07/2006, at 10:59 AM, mikeiscool wrote:


Absolute security is a myth.


no it isn't. pretending it is a 'myth' is an attempt by sloppy
programmers and designers to explain away the reasons for their
applications failing.




smime.p7s
Description: S/MIME cryptographic signature
___
Secure Coding mailing list (SC-L)
SC-L@securecoding.org
List information, subscriptions, etc - http://krvw.com/mailman/listinfo/sc-l
List charter available at - http://www.securecoding.org/list/charter.php


Re: [SC-L] bumper sticker slogan for secure software

2006-07-19 Thread der Mouse
 Absolute security is a myth.  As is designing absolutely secure
 software.

 I have high hopes in formal methods.

All formal methods do is push bugs around.  Basically, you end up
writing in a higher-level language (the spec you are formally verifying
the program meets).  You are then subject to the bugs present in *that*
program (the spec) and the bugs present in the compiler (the formal
verifier).

Formal methods are a useful tool, and have a place.  But they are not a
magic bullet.

/~\ The ASCII   der Mouse
\ / Ribbon Campaign
 X  Against HTML   [EMAIL PROTECTED]
/ \ Email!   7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B
___
Secure Coding mailing list (SC-L)
SC-L@securecoding.org
List information, subscriptions, etc - http://krvw.com/mailman/listinfo/sc-l
List charter available at - http://www.securecoding.org/list/charter.php