On the role of formal methods in security
scientific article; zbMATH DE number 1771805