Login / Signup
HSAS-MD Analyzer: A Hybrid Security Analysis System Using Model-Checking Technique and Deep Learning for Malware Detection in IoT Apps.
Alyaa A. Hamza
Islam Tharwat Abdel-Halim
Mohamed Sobh
Ayman M. Bahaa Eldin
Published in:
Sensors (2022)
Keyphrases
</>
model checking
security analysis
deep learning
malware detection
temporal logic
unsupervised learning
anomaly detection
security requirements
smart card
formal specification
formal verification
public key
machine learning
formal methods
encryption scheme
weakly supervised
data mining
semi supervised
computer vision