"Formal analysis of privacy requirements specifications for multi-tier ..."

Travis D. Breaux, Ashwini Rao (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics