Model Checking to Detect the Hummingbad Malware

Model Checking to Detect the Hummingbad Malware

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International Symposium on Intelligent and Distributed Computing (13. : 2019 : St. Petersburg) Intelligent distributed computing XIII
1. Verfasser: Martinelli, Fabio (VerfasserIn)
Weitere Verfasser: Mercaldo, Francesco (VerfasserIn), Nardone, Vittoria (VerfasserIn), Santone, Antonella (VerfasserIn), Vaglini, Gigliola (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
CAAVI-RICS Model for Analyzing the Security of Fog Computing Systems 2020 Pešić, Saša
Improving Parallel Data Mining for Different Data Distributions in IoT Systems 2020 Kholod, Ivan
Multi-agent System for Simulation of Response to Supply Chain Disruptions 2020 Tan, Jing
Research of the Possibility of Hidden Embedding of a Digital Watermark Using Practical Methods of Channel Steganography 2020 Sharikov, Pavel I.
Strategies Comparison in Link Building Problem 2020 Carchiolo, Vincenza
Approach to Identification and Analysis of Information Sources in Social Networks 2020 Vitkova, Lidia
Scalable Data Processing Approach and Anomaly Detection Method for User and Entity Behavior Analytics Platform 2020 Lukashin, Alexey
Authorize-then-Authenticate: Supporting Authorization Decisions Prior to Authentication in an Electronic Identity Infrastructure 2020 Berbecaru, Diana
Intelligent Technologies and Systems for Spatial Industrial Strategic Planning 2020 Serova, Elena
Conceptual and Formal Models of Information Technologies Use for Decisions Support in Technological Systems 2020 Geyda, Alexander S.
Central Audio-Library of the University of Novi Sad 2020 Delić, Vlado
ECU-Secure: Characteristic Functions for In-Vehicle Intrusion Detection 2020 Chevalier, Yannick
Experimenting with Machine Learning in AutomatedIntrusion Response 2020 Lopes, Andre
The Architecture of the System for Monitoring the Status in Patients with Parkinson's Disease Using Mobile Technologies 2020 Yulia, Shichkina
Smart Topic Sharing in IoT Platform Based on a Social Inspired Broker 2020 Carchiolo, Vincenza
Privacy-Preserving LDA Classification over Horizontally Distributed Data 2020 Khodaparast, Fatemeh
Actor-Network Approach to Self-organisation in Global Logistics Networks 2020 Iskanderov, ury
The Method of Fuzzy Logic and Data Mining for Monitoring Troposphere Parameters Using Ground-Based Radiometric Complex 2020 Ivanov, S. I.
Exploring the Space of Block Structured Scheduling Processes Using Constraint Logic Programming 2020 Bădică, Amelia
Distributed Construction of a Level Class Description in the Framework of Logic-Predicate Approach to AI Problems 2020 Kosovskaya, Tatiana M.
Alle Artikel auflisten