So, I read this article.
A startup funded by the U.S. government’s Defense Advanced Research Projects Agency is ready to emerge from stealth mode with hardware and software-based technologies to fight the rapid spread of malicious rootkits.
The company’s Copilot prototype is a high-assurance PCI card capable of monitoring the host’s memory and file system at the hardware level. It is specifically geared toward high-security servers and computers.
I remember talking with a person that worked on building hardware that verified the correct operation of hardware running firmware/software. There was additional hardware that checked the verifying hardware’s operation, which was a loop that could have gone on forever, but that was as far as they went. The design and implementation of this system involved formal modeling and generation of a finite state machine that was the size of a large encyclopedia, from which a picture of what correctness meant in this system was built.
Trusted hardware really is the only way to verify the correct operation of an IT system with any high degree of assurance (software is way too squishy), but, of course, there has to be an understanding of just what correct means in order to check correctness, which is what the work by the people discussed in this article seems to be exploring in terms of rootkits and how they subvert systems. Data forensics (briefing summaries) is a hardware world now as well.
Komoku’s long-term plan is to have both the hardware and software versions collect forensic data when a compromise is detected. Butler said both products are able to capture hidden malware in memory and send it back to a central management station when the products are running in enterprise mode.
Anyway, I wonder how these will fair against a Rutkowska. Oh, and the whole assurance thing comes to mind.
via this post to the Funsec mailing list
(Someone else posted “Remember Thunderbyte?” – I didn’t, but the web did.)
-
This person pointed me to an article on dorkbot at CNN.
NEW YORK (AP) — About 200 people crammed into a sleek SoHo art gallery on a recent weekday night, sitting on chairs, on radiators and on the floor. Others jammed the entrance to catch a glimpse of the unusual presentation unfolding on a projection screen in front of them.
Cool beans. My write-ups on a couple of dorkbot-nyc meetings can be found here and here. The meetings I attended were full of strange and interesting projects, packed with friendly people, and just a plain old good time.
-
For some reason, “OMG, like totally!” popped into my head when I read this.
Richard needed to dig through the code to see how to decrypt bank account numbers stored in the database. The search led him to H88493247329(), the method responsible for encrypting customer data. After spending a minute to add linebreaks and rename the variables, Richard asked his coworker why he obfuscated the code. His coworker scoffed, you should always encrypt your encryption functions — it’s completely insecure otherwise
