"Secure Software Development by Example."

Axelle Apvrille, Makan Pourzandi (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics