"Formality of the Security Specification Process: Benefits Beyond Requirements."

Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics