3 ms·
I really wish https://news.ycombinator.com/user?id=nickpsecurity https://news.ycombinator.com/user?id=nickpsecurity was still around here to throw his weight in
by akavel 6y ago
I really wish https://news.ycombinator.com/user?id=nickpsecurity https://news.ycombinator.com/user?id=nickpsecurity was still around here to throw his weight in this thread. He'd often geek out in those kinds of discussions, talking how in the '70s people were actually doing security in computing, vs. the current security theatre, and how many things are totally possible to do, just no big company wants to do this now (even though loudly claiming otherwise), because it is expensive, and it's more profitable to focus on profits than security. For some technical references from Nick, see e.g.: https://news.ycombinator.com/item?id=20946537 https://news.ycombinator.com/item?id=20946537
For example, quoting verbatim from the link above:
> [...] Modern OS's, routers, basic apps, etc aren't as secure as software designed in 1960's-1980's. People are defining secure as mitigates some specific things hackers are doing (they'll do something else) instead of properties the systems must maintain in all executions on all inputs. We have tools and development methods to do this but they're just not applied in general. Some still do, like INTEGRITY-178B and Muen Separation Kernel. [...]
- Khaine 6y agoI miss his comments as well.
- nl 6y agoThis is completely rose tinted glasses. There have always been lots of techniques that people claimed as magic bullets for security. They were there in the 1960s-80s, and there still are. And yet Modern OS's, routers, basic apps are much more secure than the equivalents then. I mean in the 1970s, there was the Ken Thompson backdoor and no one knew about it until he disclosed it in his ACM Awards acceptance speech[1]. Nowdays there are provably secure kernels[2] in real world deployments, and high assurance kernels[3] in billions more. [1] https://www.win.tue.nl/~aeb/linux/hh/thompson/trust.html https://www.win.tue.nl/~aeb/linux/hh/thompson/trust.html [2] https://ts.data61.csiro.au/projects/seL4/ https://ts.data61.csiro.au/projects/seL4/ [3] https://en.wikipedia.org/wiki/L4_microkernel_family#Commercial_deployment https://en.wikipedia.org/wiki/L4_microkernel_family#Commerci...