logoalt Hacker News

mslayesterday at 10:20 PM3 repliesview on HN

The bank has the best doors, the best locks, and the best cameras, and it is patrolled by a guard who props the doors open to so he doesn't have to keep fooling with the locks and points the cameras the other way to extend his smoke break. SeL4 would be another system used by humans.


Replies

timschmidtyesterday at 10:30 PM

It's always possible to break a perfect system by moving an additional layer of abstraction outward, and attacking one of the assumptions upon which it's built. Some of our era's highest security systems - game consoles - have been broken by undervolting them until the logic failed.

show 1 reply
naileryesterday at 10:49 PM

I once worked on AUD 450M banking project, the root password was kept in a kickstart file and unchanged, root SSH was allowed. The bank didn't care until I told the external security auditor who included it as part of their report.

show 1 reply
awesome_dudeyesterday at 11:19 PM

There's absolutely no way to account for humans, who can be tricked, or pressured, or just make human sized mistakes.

show 2 replies