everyone: older news
business: Quantum Communications
Computer Security is Algorithmically Intractable
by Brent Kirkpatrick
(Date Published: 8/16/2018.)
At Intrepid Net Computing, our algorithms expert recognizes that most formal definitions of computer security have turned out to be undecidable, including the problem of detecting hacking. This means that only skilled people, expert in painstaking following digital clues, can provide the service of security.
We know that computer security is algorithmically intractable, but does this mean we give up? Does this mean computer security is impossible? No. Instead we rely on people to perform code reviews, to do security testing, to write less code, to do incident response, to do digital forensics, and to write patches for vulnerabilities.
Intrepid Net Computing's algorithms expert has writen a manuscript that gives new proofs of undecidability. This manuscript will also review practical strategies of obtaining computer security: Computer Security is Algorithmically Intractable.
Please contact us at Intrepid Net Computing if you have questions about this discovery.
Trojan Hunter. Digital forensics for Trojans at an accessible, fixed price. For any operating system.
Brent Kirkpatrick. Computer Security is Algorithmically Intractable. 2018.