Localization and Inhibition of Malicious Behaviors through a Model Checking based Methodology.

Mario Giovanni C. A. Cimino, Gigliola Vaglini

Browse the full ICISSP paper archive.