Search: Home Bugtraq Vulnerabilities Mailing Lists Jobs Tools Beta Programs
Trusting software
Jason Miller, 2005-12-07

Open-source or closed-source, it's the same issue. Using other people's software has a lot to do with trust. If you don't trust the right people, you're putting yourself at risk.

Submit Comment Mode:
Name:
Subject:
Message:
 
  Enter the characters that appear above
 
Re: Trusting software 2005-12-19
hkmaly
Note in previous post I forgot to mention reason why no personal computer or operating system has been formally proven: because it's so damn hard. You must translate every line of code to logical predicate and then solve them. Ideally by hand, because you have no software you can trust for that task...

[ more ]  





 

Privacy Statement
Copyright 2009, SecurityFocus