...impact on Information Assurance (IA) applications and systems (such as encryption, access control, biometrics and secureradio) where the Praxis expertise can be used by systems developers to produce ultra-low defect output. Praxis provides...
http://www.securitypark.co.uk/security_article263610.html