"A Systematic Process-Model-based Approach for Synthesizing Attacks and ..."

Huong Phan et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics