Security Analysis of a Biometric Authentication System Using UMLsec and JML

FREE-DOWNLOAD J Lloyd… – Model Driven Engineering Languages and Systems, 2009 –
Abstract. Quality assurance for security-critical systems is particularly chal- lenging: many systems
are developed, deployed, and used that do not satisfy their security requirements. A number
of software engineering approaches have been developed over the last few years to