Attack-Test and Verification Systems, steps towards verifiable Anomaly Detection.

Marcel Fourn, Dominique Petersen, Norbert Pohlmann

Browse the full GI paper archive.