Community votes are collected from you and other visitors to Ask500People. Independent votes are collected from visitors to hundreds of other websites around the world.
Sign Up or Login
Sorry, this data is only available to users with an account.
I think there may be military systems that are provably secure.
We can develop provably secure systems using lambda calculus (http://en.wikipedia.org/wiki/Lambda_calculus). I have heard that a lot of the researchers who studied this area were snapped up by the US military. Whether they were successful or not in their work for the military I couldn't say.
However, these techniques are very time-consuming and intricate. I am pretty sure that applying them to a modern computer running Windows would be impossible :).
There are many factors involved in security and security it will be as strong as it weakest part. But if we did manage to make something secure, chances are we would not be able to access it and therefor it would be useless for our purposes. We can make things secure enough maybe, like 99.99999999% of the people can not break it, but never 100% secure.
It is only as secure as the developer makes it. As long as the developer knows how to program correctly, it is not a problem. But that is true of any language.
Nothing is secure.
I think there may be military systems that are provably secure.
We can develop provably secure systems using lambda calculus (http://en.wikipedia.org/wiki/Lambda_calculus). I have heard that a lot of the researchers who studied this area were snapped up by the US military. Whether they were successful or not in their work for the military I couldn't say.
However, these techniques are very time-consuming and intricate. I am pretty sure that applying them to a modern computer running Windows would be impossible :).
There are many factors involved in security and security it will be as strong as it weakest part. But if we did manage to make something secure, chances are we would not be able to access it and therefor it would be useless for our purposes. We can make things secure enough maybe, like 99.99999999% of the people can not break it, but never 100% secure.
It is only as secure as the developer makes it. As long as the developer knows how to program correctly, it is not a problem. But that is true of any language.