[ACM Press the 2017 ACM - Abu Dhabi, United Arab Emirates (2017.04.02-2017.04.06)] Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security - ASIA CCS '17 - How Discover a Malware using Model Checking
Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, AntonellaYear:
2017
Language:
english
DOI:
10.1145/3052973.3055157
File:
PDF, 1.24 MB
english, 2017