Overview
System Model
SecLan Model
MalloDroid
A tool to detect potential vulnerability against MITM attacks.
Security DSLs provided by the Tool
Name
Description
Security Checks provided by the Tool
Name
Description
Communication API Misuse
Checks if communication APIs are used securely.