Model-based Security Engineering
12th International School on Foundations of Security Analysis and Design (FOSAD 2012), Bertinoro, Italy
12th International School on Foundations of Security Analysis and Design (FOSAD 2012), Bertinoro, Italy