Makesolutions.net

An anonymous reader writes to mention that the Tokeneer research project has been released to the open source community by the US National Security Agency (NSA). The main goal of this project was to show how highly secure software can be developed cost-effectively. "Tokeneer has been written in SPARK Ada, a high level programming language designed for high-assurance applications. Originally a subset of the Ada language, it is designed in such a way that all SPARK programs are legal Ada programs. Ada is the natural choice for mission-critical, high-integrity systems due to its combination of flexibility, reliability and ease of use, and SPARK further adds a static verification toolset that combines depth, soundness, efficiency and formal guarantees."

Read more of this story at Slashdot.

Apple DMCAs iPodHash Project

Network Neutrality — Without Regulation

Certification credited with boosting online confidence

Lessig, Zittrain, Barlow To Square Off Against RIAA

'Let me Google that for you' shows Luddite friends how to search

'Green Car Journal' announces 2009 Green Car of the Year

'World of Warcraft: Wrath of Lich King' sets sales record

Study Recommends Online Gaming, Social Networking For Kids

CRTC Rules Bell Can Squeeze Downloads

Microsoft: IE 8 won't be done until 2009

T-Mobile USA teams up with Yahoo

Studios sue Australian ISP over video piracy

YouSendIt brings file delivery to Microsoft Office

Samsung launches 256GB solid-state drive

TweetValue estimates your Twitter profile's worth

MIT and NASA Designing Silent Aircraft

Local.com taps geo-targeted video ads

A paean for technology-free(?) childhood

SunRun lands financing for solar panel service

Mufin opens up with Facebook app and iTunes plug-in