We use cookies to provide you with a better experience. If you continue to use this site, we'll assume you're happy with this. Alternatively, click here to find out how to manage these cookies

hide cookie message
80,259 News Articles

British software firm wins Microsoft security award

Win comes after National Security Agency project

Altran Praxis, a specialist in embedded and critical systems engineering, has been named the inaugural winner of the Microsoft Research Verified Software Milestone Award.

The award is for the company's Tokeneer Project at the US National Security Agency (NSA). The technology is a software system that uses biometrics and smart card technology to protect and secure classified buildings.

Protection is provided by a multi-modal biometric access control system. The NSA wanted to determine how to build systems that are cost-effective, ultra-secure and certifiable to EAL5 standards. Praxis worked alongside SPRE Inc. to build a Tokeener ID System to meet these requirements.

Praxis’ REVEAL development method was used and the system was specified in the Z formal computing notation. The implementation was in Ada, and SPARK static analysis tools were used.

As the project was security-critical, a security target and security policy model was derived from the Tokeneer Protection Profile. Proofs of security policy were carried out for the Z and the annotated SPARK code.

The technology met the higher levels of the Common Criteria Security Evaluation, the ISO/IEC 15408 standard for computer security certification.

Project leader Dr Janet Barnes and principal engineer Dr Rod Chapman will pick up the award on behalf of Praxis at the 11th International Workshop on Automated Verification of Critical Systems, hosted by the University of Newcastle on 12 to 15 September.

Professor Sir Tony Hoare of Microsoft Research, said, "Congratulations to Janet and Rod as well-deserved recipients of this award. The project has given a persuasive demonstration of the cost-effectiveness of formal methods in application to security software, and complements similar experience at Microsoft.”

In other recent biometric security news, the FBI recently announced it has made the long-awaited switch from its Automated Fingerprint Identification System (AFIS) to an upgraded, faster solution called Advanced Fingerprint Information Technology (AFIT).

The AFIT replacement prepares the way for going beyond fingerprint identification to other biometrics, including latent palm prints and facial recognition, the next steps in the FBI's multi-year strategy known as the Next Generation Identification (NGI) system.


IDG UK Sites

Windows 10 release date, price, features. The next version of Windows will run on everything:....

IDG UK Sites

Windows 9 and the death of the OS as a must-have product

IDG UK Sites

Video trends: 4K is here – HDR video, VR and 3D audio is coming

IDG UK Sites

How Windows 10 is even more like Mac OS X, and not just because it's another OS Ten